University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Using Model Checking in a Parallelizing Compiler Teodor Rus
Eric Van Wyk
January 1998 Parallel Processing Letters. in Volume 8, Number 4 Minnesota Extensible Language Tools
A Framework to Evaluate Candidate Agile Software Development Processes Ian De Silva July 2019 Ph.D. Dissertation, University of Minnesota Critical Systems Research Group PDF icon desilva-dissertation-2019.pdf
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors Gregory Gay May 2015 Ph.D. Thesis, University of Minnesota Critical Systems Research Group PDF icon GregoryGayDissertation.pdf
Adding Dimension Analysis to Java as a Composable Language Extension Eric Van Wyk
Yogesh Mali
July 2008 Post-proceedings of Generative and Transformational Techniques in Software Engineering (GTTSE) Minnesota Extensible Language Tools PDF icon dimensions.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
A Proposal for Model-Based Safety Analysis Anjali Joshi
Steven Miller
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 2005 Proceedings of 24th Digital Avionics Systems Conference (DASC) (Awarded Best Paper of Track) Critical Systems Research Group Microsoft Office document icon 215joshi.doc
AutoBayes/CC – Combining Program Synthesis with Automatic Code Certification Dr. Michael Whalen, Ph.D.
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Conference on Automated Deduction (CADE) 18 Critical Systems Research Group PDF icon docu.pdf
Certifying Synthesized Code Dr. Michael Whalen, Ph.D.
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Formal Methods Europe 2002 Critical Systems Research Group PDF icon whalen-fme.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 PDF icon TestGeneration03_0.pdf
Requirements Coverage as an Adequacy Measure for Conformance Testing Ajitha Rajan
Dr. Michael Whalen, Ph.D.
Matt Staats
Mats Heimdahl
October 2008 Proceedings of the 10th International Conference on Formal Methods and Software Engineering (ICFEM 2008) Critical Systems Research Group PDF icon main.pdf

Pages