University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
Coverage Metrics for Requirements-Based Testing Dr. Michael Whalen, Ph.D.
Ajitha Rajan
Mats Heimdahl
July 2006 Proceedings of the 2006 International Symposium on Software Testing and Analysis Critical Systems Research Group PDF icon res28-whalen.pdf
Discovering Instructions for Robust Binary-level Coverage Criteria Vaibhav Sharma
Taejoon Byun
Stephen McCamant
Sanjai Rayadurgam
Mats Heimdahl
July 2017 Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems. ACM Critical Systems Research Group PDF icon isstaws17tecpsmain-tecpsmainid7-p-a398738-32158M-final.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
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
Deviation Analysis Through Model Checking Mats Heimdahl
Yunja Choi
Dr. Michael Whalen, Ph.D.
September 2002 Proceedings of the 17th IEEE International Conference on Automated Software Engineering. Edinburgh, United Kingdom, September 2002. Critical Systems Research Group PDF icon main-deviation.pdf
SpecTRM: A CAD SYSTEM FOR DIGITAL AUTOMATION Nancy Leveson
Jon Reese
Mats Heimdahl
November 1998 Proceedings of the 17th Digital Avionics Systems Conference, November 1998 Critical Systems Research Group PDF icon SpecTRM.pdf
An Approach to Automatic Code Generation for Safety-Critical Systems Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 1999 Proceedings of the 14th IEEE International Conference on Automated Software Engineering}, Orlando, October, 1999. Critical Systems Research Group PDF icon 0_cg-requirements-hase99.pdf
Integrative Analysis ofState-Based Requirements Barb Czerny
Mats Heimdahl
October 1998 Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, Hawaii, October, 1998. (Nominated for best paper.) Critical Systems Research Group
Integration of Formal Analysis into a Model-Based Software Development Process Dr. Michael Whalen, Ph.D.
Darren Cofer
Steven Miller
Bruce Krogh
Walter Storm
July 2007 Proceedings of the 12th International Workshop on Industrial Critical Systems (FMICS 2007) Critical Systems Research Group PDF icon FMICS07-Rockwell-Collins.pdf

Pages