University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage Ajitha Rajan
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
May 2008 Proceedings of the 30th International Conference on Software engineering (ICSE 2008) (ICSE 2008 Distinguished Paper) Critical Systems Research Group PDF icon p161-rajan.pdf
The Guardol Language and Verification System David Hardin
Konrad Slind
Dr. Michael Whalen, Ph.D.
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
The Hidden Models of Model Checking Willem Visser
Matthew Dwyer
Dr. Michael Whalen, Ph.D.
October 2012 Software & Systems Modeling, October 2012, Volume 11, Issue 4, pp 541-555 Critical Systems Research Group PDF icon hidden-models.pdf
The Influence of Multiple Artifacts on the Effectiveness of Software Testing Matt Staats September 2010 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) Critical Systems Research Group PDF icon ase23ds-staats.pdf
The Risks of Coverage-Directed Test Case Generation Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
August 2015 IEEE Transactions on Software Engineering Critical Systems Research Group PDF icon 15covrisks.pdf
Tool Intensive Software Development: New Challenges for Verification, Validation, and Certification Mats Heimdahl May 2004 FAA and Embry Riddle Aeronautical University Software Tools Forum, Daytona Beach, May, 2004. Critical Systems Research Group PDF icon 1_main.pdf
Toward Automation for Model Checking Requirement Specifications with Numeric Constraints Yunja Choi
Sanjai Rayadurgam
Mats Heimdahl
September 2002 Requirements Engineering Journal, Vol-7, Issue 4, pp. 225-242 (2002) Critical Systems Research Group PDF icon domain_reduction.pdf
Toward Rigorous Object-Code Coverage Criteria Taejoon Byun
Vaibhav Sharma
Sanjai Rayadurgam
Stephen McCamant
Mats Heimdahl
October 2017 The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE Critical Systems Research Group
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder Matt Staats April 2009 Moffett Field, California Critical Systems Research Group PDF icon paper27-main.pdf
Towards Realizability Checking of Contracts using Theories Andrew Gacek
Andreas Katis
Dr. Michael Whalen, Ph.D.
John Backes
Darren Cofer
April 2015 NFM 2015 Critical Systems Research Group PDF icon document.pdf

Pages