University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
June 2015 IEEE Transactions on Software Engineering Critical Systems Research Group PDF icon main_oracle_creation.pdf
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
November 2015 Appeared in IEEE Transactions on Software Engineering, Volume 41 (11), November, 2015 Critical Systems Research Group PDF icon main_oracle_creation.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
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
Automatic Generation of Static Fault Trees from AADL Models Anjali Joshi
Steve Vestal
Pam Binns
June 2007 DSN 2007 Workshop on Architecting Dependable Systems Critical Systems Research Group PDF icon Joshi-CameraReady-WADS07.pdf
Automatically Finding the Control Variables for Complex System Behavior Gregory Gay
Tim Menzies
Misty Davies
Karen Gundy-Burlet
December 2010 AUTOMATED SOFTWARE ENGINEERING Volume 17, Number 4, 439-468 Critical Systems Research Group PDF icon 10tar3.pdf
Behavioral Fault Modeling for Model-based Safety Analysis Anjali Joshi
Mats Heimdahl
November 2007 10th IEEE High Assurance Systems Engineering Symposium (HASE '07) Critical Systems Research Group PDF icon HASE07-Main.pdf
Better Testing Through Oracle Selection Matt Staats
Michael Whalen
Mats Heimdahl
May 2011 New Ideas and Emerging Results Track, 33rd International Conference on Software Engineering, Honolulu, Hawaii, May 21-28, 2011. Critical Systems Research Group PDF icon p892-staats.pdf
Building Extensible Specifications and Implementations of Promela with AbleP Yogesh Mali
Eric Van Wyk
July 2011 International SPIN Workshop on Model Checking of Software (SPIN 2011) Minnesota Extensible Language Tools PDF icon mali11spin.pdf
Certificate Management: A Practitioner’s Perspective Michael Whalen November 2005 Appeared at the 2005 Workshop on Software Certificate Management (SoftCeMent05) Critical Systems Research Group PDF icon Position paper for SoftCeMent.pdf

Pages