University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
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
Partial Translation Verification for Untrusted Code-Generators Matt Staats
Mats Heimdahl
October 2008 10th International Conference on Formal Methods and Software Engineering (ICFEM '08) Critical Systems Research Group PDF icon main.pdf
Parameterized Abstractions for Reasoning about Algebraic Data Types Hung T. Pham
Dr. Michael Whalen, Ph.D.
November 2013 Eighth International Workshop on Constraints in Formal Verification (CFV'13) Critical Systems Research Group PDF icon cfv13.pdf
Parallel Symbolic Execution for Structural Test Generation Matt Staats
Corina Pǎsǎreanu
July 2010 19th International Symposium on Software Testing and Analysis (ISSTA'10) Critical Systems Research Group PDF icon p183-staats.pdf
On the Use of Relevance Feedback in IR-based Concept Location Gregory Gay
Sonia Haiduc
Andrian Marcus
Tim Menzies, Ph.D.
September 2009 25th IEEE International Conference on Software Maintenance (ICSM 2009) Critical Systems Research Group PDF icon 09rel.pdf
On the Requirements of High-Integrity Code Generation Dr. Michael Whalen, Ph.D.
Mats Heimdahl
November 1999 Proceedings of the Fourth IEEE High Assurance in Systems Engineering Workshop, Washington DC, November, 1999. Critical Systems Research Group PDF icon cg-requirements-hase99.pdf
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study Mats Heimdahl
Jeffrey Thompson
Dr. Michael Whalen, Ph.D.
February 1998 Proceedings of the Twenty-fourth EUROMICRO Conference Critical Systems Research Group
On the effect of test-suite reduction on automatically generated model-based tests Mats Heimdahl
Devaraj George
March 2007 Automated Software Engineering, Volume 14 Issue 1, March 2007 Critical Systems Research Group
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
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. David Owen
Tim Menzies, Ph.D.
Mats Heimdahl
Jimin Gao
December 2003 Proceedings of the 28th Annual IEEE/NASA Software Engineering Workshop -- SEW-03. Greenbelt, Maryland, December 2003. Critical Systems Research Group

Pages