University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Design Considerations for Modeling Modes in Cyber–Physical Systems Anitha Murugesan
Sanjai Rayadurgam
Michael Whalen
Mats Heimdahl
October 2015 IEEE Design & Test Critical Systems Research Group PDF icon 07172459.pdf
Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems Michael Whalen
Sanjai Rayadurgam
Elaheh Ghassabani
Anitha Murugesan
Oleg Sokolsky
Mats Heimdahl
Insup Lee
August 2015 University of Minnesota Critical Systems Research Group PDF icon MultiFormalismTechReport.pdf
The Risks of Coverage-Directed Test Case Generation Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
August 2015 IEEE Transactions on Software Engineering Critical Systems Research Group PDF icon 15covrisks.pdf
Machine-Checked Proofs For Realizability Checking Algorithms Andreas Katis
Andrew Gacek
Michael Whalen
July 2015 7th Working Conference on Verified Software: Theories, Tools, and Experiments Critical Systems Research Group PDF icon document.pdf
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 PDF icon ICSSP2015-ReferenceModel-authorCopy.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 PDF icon 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 PDF icon GregoryGayDissertation.pdf
A flexible and non-intrusive approach for computing complex structural coverage metrics Michael Whalen
Suzette Person, Ph.D.
Dr. Neha Rungta
Matt Staats
Daniella Grijincu
May 2015 Critical Systems Research Group PDF icon ICSE_cov_metrics.pdf
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites Anitha Murugesan
Michael Whalen
Dr. Neha Rungta
Oksana Tkachuk, Ph.D.
Suzette Person, Ph.D.
Mats Heimdahl
Dongjiang You
April 2015 7th NASA Formal Methods Symposium, Pasadena, California, April 2015. Critical Systems Research Group PDF icon murugesan-nfm15.pdf
Towards Realizability Checking of Contracts using Theories Andrew Gacek
Andreas Katis
Michael Whalen
John Backes
Darren Cofer
April 2015 NFM 2015 Critical Systems Research Group PDF icon document.pdf

Pages