University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Programs, Tests, and Oracles: The Foundations of Testing Revisited. Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
May 2011 33rd International Conference on Software Engineering, Honolulu, Hawaii, May 21-28, 2011. ICSE 2011 Distinguished Paper Critical Systems Research Group PDF icon p391-staats.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
An Empirical Study on the Effectiveness of Time-Aware Test Case Prioritization Techniques Dongjiang You March 2011 26th ACM Symposium On Applied Computing, Taichung, Taiwan, March 2011. PDF icon you-sac11.pdf
Sharing Experiments Using Open Source Software Adam Nelson
Tim Menzies, Ph.D.
Gregory Gay
March 2011 Software: Practice and Experience Volume 41, Issue 3, pages 283–305 Critical Systems Research Group PDF icon 10ourmine.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
FITE: Future Integrated Testing Environment Dr. Michael Whalen, Ph.D.
Patrice Godefroid
Leonardo Mariani
Andrea Polini
Nikolai Tillman
Willem Visser
November 2010 Workshop on the Future of Software Engineering Research 2010 (FoSER), Santa Fe, New Mexico, November 7-8, 2010. Critical Systems Research Group PDF icon p401-whalen.pdf
Proceedings of the 1st Doctoral Symposium of the International Conference on Software Language Engineering (SLE-DS-2010) Eric Van Wyk
Steffen Zschaler
October 2010 International Conference on Software Language Engineering (SLE 2010) Minnesota Extensible Language Tools
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion Hung T. Pham
Anh-Hoang Truong
Wei-Ngan Chin
Takenobu Aoshima
October 2010 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS) Critical Systems Research Group PDF icon TTSS2009.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
The Influence of Multiple Artifacts on the Effectiveness of Software Testing Matt Staats September 2010 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) Critical Systems Research Group PDF icon ase23ds-staats.pdf

Pages