Publications

Publication Title	Authors	Date Published	Venue	Research Group	Download
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	heimdah-statement.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	hase-04-inadequacy.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	1_main.ps TestGeneration03.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
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	ICFEM.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	FATES-cameraReady-revised.ps
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	choi-ase-03.pdf
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods	Anjali Joshi Steven Miller Mats Heimdahl	October 2003	22nd IEEE Digital Avionics Systems Conference (DASC'2003)} (Awarded Best Paper of Session), Indianapolis, October 2003.	Critical Systems Research Group	modeConfusion.pdf
Nimbus: A Tool for Specification Centered Development	Mats Heimdahl Michael Whalen Jeffrey Thompson	September 2003	Proceedings of the 11th IEEE International Requirements Engineering Conference, Monterey Bay, California, September, 2003.	Critical Systems Research Group	nimbus-tool-demo-re03.ps nimbus-tool-demo-re03.pdf
Aspects as Modular Language Extensions	Eric Van Wyk	April 2003	In Proc. of Language Descriptions, Tools and Applications (LDTA), (an ETAPS 2003 Workshop) volume 82.3 of Electronic Notes in Theoretical Computer Science. Elsevier Science	Minnesota Extensible Language Tools	aspects_mle.pdf aspects_mle.ps