University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
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
Automated Oracle Creation Support, or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing Matt Staats
Gregory Gay
Mats Heimdahl
May 2012 Proceedings of the 2012 International Conference on Software Engineering Critical Systems Research Group PDF icon 12oracle.pdf
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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

Pages