University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
Reduction and Slicing of Hierarchical State Machines Mats Heimdahl
Dr. Michael Whalen, Ph.D.
September 1997 Proceedings of the Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering Critical Systems Research Group PDF icon p450-heimdahl.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
How to Build Repeatable Experiments Gregory Gay
Tim Menzies, Ph.D.
Bojan Cukic
Burak Turhan
May 2008 Proceedings of the 5th International Workshop on Predictive Models in Software Engineering, PROMISE 2009 Critical Systems Research Group PDF icon 09ourmine.pdf
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
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
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
Software Model Checking for Avionics SSoftware MSoftware Model Checking for Avionics SSoftware Model Checking for Avionics Systemsystemsodel Checking for Avionics Systemsystems Darren Cofer
Dr. Michael Whalen, Ph.D.
Steven Miller
October 2008 Proceedings of the 27th Digital Avionics Systems Conference (DASC’08) Critical Systems Research Group PDF icon Software-Model-Checking.pdf
On MC/DC and Implementation Structure: An Empirical Study Dr. Michael Whalen, Ph.D.
Mats Heimdahl
Matt Staats
Ajitha Rajan
October 2008 Proceedings of the 27th Digital Avionics Systems Conference (DASC’08) (Best Paper of Session: Software Design) Critical Systems Research Group PDF icon DASC-08-MCDC-Fault-Finding.pdf
Automated Oracle Creation Support, or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing Matt Staats
Gregory Gay
Mats Heimdahl
May 2012 Proceedings of the 2012 International Conference on Software Engineering Critical Systems Research Group PDF icon 12oracle.pdf
Analyzing RBAC Security Policy of Implementation Using AST Hung T. Pham
Ninh-Thuan Truong
Viet-Ha Nguyen
October 2009 Proceedings of the 2009 International Conference on Knowledge and Systems Engineering (KSE '09) Critical Systems Research Group PDF icon kse09.pdf

Pages