University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Observable Modified Condition/Decision Coverage Dr. Michael Whalen, Ph.D.
Gregory Gay
Dongjiang You
Mats Heimdahl
Matt Staats
May 2013 35th International Conference on Software Engineering, San Francisco, California, May 2013. Critical Systems Research Group PDF icon whalen-icse13.pdf
On MC/DC and Implementation Structure: An Empirical Study Dr. Michael Whalen, Ph.D.
Mats Heimdahl
Matt Staats
Ajitha Rajan
October 2008 Proceedings of the 27th Digital Avionics Systems Conference (DASC’08) (Best Paper of Session: Software Design) Critical Systems Research Group PDF icon DASC-08-MCDC-Fault-Finding.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
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 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 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 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 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
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
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

Pages