University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
Auto-Generating Test Sequences using Model Checkers: A Case Study Mats Heimdahl
Sanjai Rayadurgam
Willem Visser
Devaraj George
Jimin Gao
October 2003 Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003)}. Montreal, Quebec, Canada, October 2003. Published as Springer Verlag Lecture Notes In Computer Science 2931 Critical Systems Research Group
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language Sanjai Rayadurgam
Anjali Joshi
Mats Heimdahl
November 2003 In Proc. of the 5th International Conference on Formal Engineering Methods (ICFEM) Critical Systems Research Group PDF icon ICFEM.pdf
Generating MC/DC Adequate Test Sequences Through Model Checking Sanjai Rayadurgam
Mats Heimdahl
December 2003 Proceedings of the 28th Annual IEEE/NASA Software Engineering Workshop -- SEW-03. Greenbelt, Maryland, December 2003 Critical Systems Research Group PDF icon TestGeneration03_0.pdf
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. David Owen
Tim Menzies
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
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? Mats Heimdahl
Devaraj George
Robert Weber
February 2004 Proceedings of the 8th IEEE High Assurance in Systems Engineering Workshop Critical Systems Research Group PDF icon hase-04-inadequacy.pdf
A Case for Requirements Validation Mats Heimdahl April 2004 Proceeding of National Academies Workshop on Software Certification and Dependability., Washington DC, April, 2004 Critical Systems Research Group PDF icon heimdah-statement.pdf
From Models to Efficient Code: It's All in the Middle. Eric Van Wyk
Mats Heimdahl
Yousef Saad
May 2004 Proceedings of the International Workshop on Software Engineering for High Performance Computing System (HPCS) Applications, Edinburgh, Scotland, May 2004. Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon icse_hpc-r5.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
Combination Model Checking: Approach and a Case Study. Yunja Choi
Mats Heimdahl
September 2004 Proceedings of the 19th IEEE International Conference on Automated Software Engineering--Short paper session. Linz, Austria, September, 2004. Critical Systems Research Group
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing Mats Heimdahl
Devaraj George
September 2004 Proceedings of the 19th IEEE International Conference on Automated Software Engineering. Linz, Austria, September, 2004. Critical Systems Research Group PDF icon 131_heimdahl_m.pdf

Pages