University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
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
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements Matt Staats
Weijia Deng
Ajitha Rajan
Mats Heimdahl
Kurt Woodham
September 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08) Critical Systems Research Group PDF icon ase08-reqscov-tool.pdf
Computing heap space cost of Java Card applets Hung T. Pham
Anh-Hoang Truong
Ninh-Thuan Truong
July 2008 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies Critical Systems Research Group PDF icon pham.08.rivfa_.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
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
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
Assessing Requirements Quality Through Requirements Coverage Ajitha Rajan
Mats Heimdahl
Kurt Woodham
May 2008 The sixth NASA Langley Formal Methods Workshop Critical Systems Research Group PDF icon LFM-08.pdf
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

Pages