University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
On the Danger of Coverage Directed Test Case Generation Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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
Building Extensible Specifications and Implementations of Promela with AbleP Yogesh Mali
Eric Van Wyk
July 2011 International SPIN Workshop on Model Checking of Software (SPIN 2011) Minnesota Extensible Language Tools PDF icon mali11spin.pdf
Integrating attribute grammar and functional programming language features Ted Kaminski
Eric Van Wyk
July 2011 International Conference on Software Language Engineering (SLE 2011) Minnesota Extensible Language Tools PDF icon kaminski11sle_preproceedings.pdf
FixBag: A Fixpoint Calculator for Quantified Bag Constraints Hung T. Pham
Minh-Thai Trinh
Anh-Hoang Truong
Wei-Ngan Chin
July 2011 23rd International Conference onComputer Aided Verification (CAV'11) Critical Systems Research Group PDF icon cav11.pdf
Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian
Corina Pǎsǎreanu
Dr. Michael Whalen, Ph.D.
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
Mutation Selection: Some Could be Better than All Dongjiang You June 2011 1st International Workshop on Evidential Assessment of Software Technologies, Beijing, China, June 2011. PDF icon zhang-east11.pdf
Programs, Tests, and Oracles: The Foundations of Testing Revisited. Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
May 2011 33rd International Conference on Software Engineering, Honolulu, Hawaii, May 21-28, 2011. ICSE 2011 Distinguished Paper Critical Systems Research Group PDF icon p391-staats.pdf
Better Testing Through Oracle Selection Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
May 2011 New Ideas and Emerging Results Track, 33rd International Conference on Software Engineering, Honolulu, Hawaii, May 21-28, 2011. Critical Systems Research Group PDF icon p892-staats.pdf

Pages