University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
Model Checking Requirements Specifications Using Domain Reduction Abstraction Yunja Choi
Mats Heimdahl
October 2003 Proceedings of the 18th IEEE International Conference on Automated Software Engineering - Short paper session. Montreal, Canada, October 2003. Critical Systems Research Group PDF icon choi-ase-03.pdf
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
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
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
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
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
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
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
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

Pages