University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
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
Observable Modified Condition/Decision Coverage Dr. Michael Whalen, Ph.D.
Gregory Gay
Dongjiang You
Mats Heimdahl
Matt Staats
May 2013 35th International Conference on Software Engineering, San Francisco, California, May 2013. Critical Systems Research Group PDF icon whalen-icse13.pdf
Nimbus: A Tool for Specification Centered Development Mats Heimdahl
Dr. Michael Whalen, Ph.D.
Jeffrey Thompson
September 2003 Proceedings of the 11th IEEE International Requirements Engineering Conference, Monterey Bay, California, September, 2003. Critical Systems Research Group PDF icon nimbus-tool-demo-re03.pdf
Network generation and analysis of complex biomass conversion systems Srinivas Rangarajan
Ted Kaminski
Eric Van Wyk
Aditya Bhan
Aditya Bhan
Prodromos Daoutidis
May 2011 21st European Symposium on Computer Aided Process Engineering (ESCAPE 21) Minnesota Extensible Language Tools PDF icon rangarajan11escape.pdf
Mutation Selection: Some Could be Better than All Dongjiang You June 2011 1st International Workshop on Evidential Assessment of Software Technologies, Beijing, China, June 2011. PDF icon zhang-east11.pdf
Moving the Goalposts: Coverage Satisfaction is Not Enough Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
June 2014 7th International Workshop on Search-Based Software Testing (SBST'14). Hyderabad, India, June 2014. Critical Systems Research Group PDF icon 14sbst.pdf
Modes, Features, and State-Based Modeling for Clarity and Flexibility Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
May 2013 Workshop on Modeling in Software Engineering, International Conference on Software Engineering, San Francisco, 2013 Critical Systems Research Group PDF icon icsews13mise-id26-p-16815-preprint.pdf
Modeling and Requirements on the Physical Side of Cyber-Physical Systems Mats Heimdahl
Lian Duan
Anitha Murugesan
Sanjai Rayadurgam
May 2013 Second International Workshop on the Twin Peaks of Requirements and Architecture, International Conference on Software Engineering, San Francisco, 2013. Critical Systems Research Group PDF icon icsews13twinpeaks-id8-p-16815-preprint.pdf
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier Anjali Joshi
Mats Heimdahl
September 2005 In Proc. of 24th International Conference, SAFECOMP Critical Systems Research Group PDF icon CameraReady-safecomp-05.pdf
Model Validation using Automatically Generated Requirements-Based Tests Ajitha Rajan
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
November 2007 10th IEEE High Assurance Systems Engineering Symposium (HASE '07) Critical Systems Research Group PDF icon rajanA-ModelValidation.pdf

Pages