University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
A Reference Model for Simulating Agile Processes Ian De Silva
Sanjai Rayadurgam
Mats Heimdahl
June 2015 The International Conference on Software and System Process (ICSSP) 2015 Critical Systems Research Group ICSSP2015-ReferenceModel-preprint.pdf
The Risks of Coverage-Directed Test Case Generation Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
June 2015 IEEE Transactions on Software Engineering Critical Systems Research Group 15covrisks.pdf
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
June 2015 IEEE Transactions on Software Engineering Critical Systems Research Group main_oracle_creation.pdf
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors Gregory Gay May 2015 Ph.D. Thesis, University of Minnesota Critical Systems Research Group GregoryGayDissertation.pdf
Towards Realizability Checking of Contracts using Theories Andrew Gacek
Andreas Katis
Michael Whalen
John Backes
Darren Cofer
November 2014 NFM 2015 Critical Systems Research Group document.pdf
Improving the Accuracy of Oracle Verdicts Through Automated Model Steering Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
September 2014 29th ACM/IEEE International Conference on Automated Software Engineering (ASE'14). Vasteras, Sweden, September 2014. Critical Systems Research Group 14ase.pdf
From Requirements to Code: Model Based Development of A Medical Cyber Physical System? Anitha Murugesan
Mats Heimdahl
Michael Whalen
Sanjai Rayadurgam
John Komp
Lian Duan
Baek-Gyu Kim
Oleg Sokolsky
Insup Lee
June 2014 Fourth International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2014) and Software Engineering in Healthcare workshop (SEHC 2014) Critical Systems Research Group MedCPS.pdf
Helping System Engineers Bridge the Peaks Dr. Neha Rungta
Suzette Person, Ph.D.
Jason Biatek
Michael Whalen
Joseph Castle, Ph.D.
Karen Gundy-Burlet
June 2014 4th International Workshop on the Twin Peaks of Requirements and Architecture, Hyderabad, India, June 1, 2014. Critical Systems Research Group 14285 (Rungta)_1.pdf
Steering Model-Based Oracles to Admit Real Program Behaviors Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
June 2014 2014 International Conference on Software Engineering, Hyderabad, India, June 2014. Critical Systems Research Group 14nier.pdf
Moving the Goalposts: Coverage Satisfaction is Not Enough Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
June 2014 7th International Workshop on Search-Based Software Testing (SBST'14). Hyderabad, India, June 2014. Critical Systems Research Group 14sbst.pdf

Pages