University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints Yunja Choi
Sanjai Rayadurgam
Mats Heimdahl
September 2001 Proceedings of the Ninth ACM/SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001)}, Vienna, Austria, September 2001. Critical Systems Research Group PDF icon 0_domain_reduction.pdf
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness Matt Staats
Dr. Michael Whalen, Ph.D.
Ajitha Rajan
Mats Heimdahl
April 2010 Proceedings of the Second NASA Formal Methods Symposium Critical Systems Research Group PDF icon main.pdf
Designing Specification Languages: Lessons Learned and Steps to the Future Nancy Leveson
Mats Heimdahl
Jon Reese
September 1999 Proceedings of the Seventh ACM/SIGSOFT Symposium on the Foundations of Software Engineering}, Toulouse, France, September, 1999 Critical Systems Research Group
Model Checking RSML-e Requirements Yunja Choi
Mats Heimdahl
October 2002 Proceedings of the Seventh IEEE High Assurance in Systems Engineering Workshop}, Tokyo, Japan, October 2002 Critical Systems Research Group PDF icon model-checking-rsml.pdf
Test-Sequence Generation from Formal Requirement Models Sanjai Rayadurgam
Mats Heimdahl
October 2001 Proceedings of the Sixth IEEE High Assurance in Systems Engineering Workshop, Florida, October 2001. Critical Systems Research Group PDF icon 0_main.pdf
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines Jeffrey Thompson
Mats Heimdahl
August 2001 Proceedings of the Tenth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, Canada, August 2001. Critical Systems Research Group PDF icon family-structure-overview-re01.pdf
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study Mats Heimdahl
Jeffrey Thompson
Dr. Michael Whalen, Ph.D.
February 1998 Proceedings of the Twenty-fourth EUROMICRO Conference Critical Systems Research Group
Measuring the Heterogeneity of Crosscompany Datasets Jia Chen
Ye Yang
Wen Zhang
Gregory Gay
June 2010 PROFES 2010 Critical Systems Research Group PDF icon 10profes.pdf
Implications of Ceiling Effects in Defect Predictors Tim Menzies, Ph.D.
Burak Turhan
Gregory Gay
Ayse Bener
Bojan Cukic
Yue Jiang
May 2008 PROMISE '08 Proceedings of the 4th international workshop on Predictor models in software engineering Critical Systems Research Group PDF icon 08ceiling.pdf
A Baseline Method For Search-Based Software Engineering Gregory Gay September 2010 PROMISE '10 Proceedings of the 6th International Conference on Predictive Models in Software Engineering Critical Systems Research Group PDF icon 10baseline.pdf

Pages