University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Development of Security Software: A High-Assurance Methodology David Hardin
D. Randolph Johnson
Lucas Wagner
Michael Whalen
T. Douglas Hiratzka
December 2009 Proceedings of the 11th International Conference of Formal Engineering Methods (ICFEM 2009). Critical Systems Research Group PDF icon hardin-icfem09-proof.pdf
Deviation Analysis Through Model Checking Mats Heimdahl
Yunja Choi
Michael Whalen
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
Deviation Analysis: A New Use for Model Checking Mats Heimdahl
Yunja Choi
Michael Whalen
March 2005 Journal of Automated Software Engineering, volume 12, issue 3 Critical Systems Research Group
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
Domain Modeling for Development Process Simulation Ian De Silva
Sanjai Rayadurgam
Mats Heimdahl
July 2017 Critical Systems Research Group PDF icon ICSSP2017 - Domain Modeling for Development Process Simulation
Domain Specific Meta Languages Eric Van Wyk February 2000 In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a> Minnesota Extensible Language Tools
Efficient Observability-based Test Generation by Dynamic Symbolic Execution Dongjiang You
Sanjai Rayadurgam
Michael Whalen
Mats Heimdahl
Gregory Gay
November 2015 26th International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015. Critical Systems Research Group PDF icon you-issre15.pdf
Efficient Test Coverage Measurement for MC/DC Michael Whalen
Mats Heimdahl
Ian De Silva
June 2013 University of Minnesota Critical Systems Research Group PDF icon monitorAlgorithm.pdf
Executing Model-based Tests on Platform-specific Implementations Dongjiang You
Sanjai Rayadurgam
Mats Heimdahl
John Komp
Baek-Gyu Kim
Oleg Sokolsky
November 2015 30th International Conference on Automated Software Engineering, Lincoln, Nebraska, November 2015. Critical Systems Research Group PDF icon you-ase15.pdf
Experiences From Specifying the TCAS II Requirements Using RSML Mats Heimdahl
Nancy Leveson
Jon Reese
November 1998 17th Digital Avionics Systems Conference}, Seattle, November 1998. (Awarded Best Paper in Software Track.) Critical Systems Research Group PDF icon tcas-experience.pdf

Pages