University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Your what is my how: Why requirements and architectural design should be iterative Michael Whalen
Anitha Murugesan
Mats Heimdahl
September 2012 Twin Peaks of Requirements and Architecture (Twin Peaks), 2012 IEEE First International Workshop Critical Systems Research Group PDF icon Your What is My How.pdf
Automated Oracle Creation Support, or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing Matt Staats
Gregory Gay
Mats Heimdahl
May 2012 Proceedings of the 2012 International Conference on Software Engineering Critical Systems Research Group PDF icon 12oracle.pdf
Integrating Statechart Components in Polyglot Daniel Balasubramanian
Corina Pǎsǎreanu
Jason Biatek
Michael Whalen
Gabor Karsai
Michael Lowry
Thomas Pressburger
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon 4709 (Pasareanu)_1.pdf
Incremental Verification with Mode Machine Invariants in State Machines Temesghen Kahsai
Pierre-Loic Garoche
Cesare Tinelli
Michael Whalen
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon paper.pdf
Compositional Verification of Architectural Models Darren Cofer
Andrew Gacek
Steven Miller
Michael Whalen
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon NFM-springer-proof-72260126.pdf
The Guardol Language and Verification System David Hardin
Konrad Slind
Michael Whalen
Hung T. Pham
March 2012 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Tallinn, Estonia Critical Systems Research Group PDF icon guardol.pdf
On the Danger of Coverage Directed Test Case Generation Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
March 2012 15th International Conference on Fundamental Approaches to Software Engineering (FASE), Tallinn, Estonia, March 24- April 1, 2012. Critical Systems Research Group PDF icon 12danger.pdf
Introduction to the Guardol Language and Verification System David Hardin
Konrad Slind
Michael Whalen
Hung T. Pham
December 2011 The Fifth Annual Layered Assurance Workshop (LAW 2011) Critical Systems Research Group PDF icon law2011-paper-hardin.pdf
Circular Hierarchical Reasoning using Past Time LTL Darren Cofer
Andrew Gacek
Michael Whalen
December 2011 Department of Computer Science and Engineering University of Minnesota 200 Union St. Minneapolis, MN 55455 Critical Systems Research Group PDF icon main_5.pdf
Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian
Corina Pǎsǎreanu
Michael Whalen
Gabor Karsai
Michael Lowry
July 2011 Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Toronto, Ontario, Canada, July 17-21, 2011. Critical Systems Research Group PDF icon ISSTA2011.pdf

Pages