University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
Universal Regular Path Queries Oege de Moor
David Lacey
Eric Van Wyk
March 2003 Higher Order and Symbolic Computation (HOSC) 16 (1-2): 15-35. A special issue dedicated to Bob Paige. Minnesota Extensible Language Tools
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report Andreas Katis
Dr. Michael Whalen, Ph.D.
Andrew Gacek
May 2016 Appeared in the 4th FME Workshop on Formal Methods in Software Engineering, Austin, TX, May 15, 2016. Critical Systems Research Group PDF icon document.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
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
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
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
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
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
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 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

Pages