University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
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
FixBag: A Fixpoint Calculator for Quantified Bag Constraints Hung T. Pham
Minh-Thai Trinh
Anh-Hoang Truong
Wei-Ngan Chin
July 2011 23rd International Conference onComputer Aided Verification (CAV'11) Critical Systems Research Group PDF icon cav11.pdf
On the Use of Relevance Feedback in IR-based Concept Location Gregory Gay
Sonia Haiduc
Andrian Marcus
Tim Menzies
September 2009 25th IEEE International Conference on Software Maintenance (ICSM 2009) Critical Systems Research Group PDF icon 09rel.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
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
Efficient Observability-based Test Generation by Dynamic Symbolic Execution Dongjiang You
Sanjai Rayadurgam
Michael Whalen
Mats Heimdahl
Gregory Gay
November 2015 26th International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015. Critical Systems Research Group PDF icon you-issre15.pdf
Improving the Accuracy of Oracle Verdicts Through Automated Model Steering Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
September 2014 29th ACM/IEEE International Conference on Automated Software Engineering (ASE'14). Vasteras, Sweden, September 2014. Critical Systems Research Group PDF icon 14ase.pdf
Verifiable Parse Table Composition for Deterministic Parsing August Schwerdfeger
Eric Van Wyk
October 2009 2nd International Conference on Software Language Engineering Minnesota Extensible Language Tools PDF icon sle.pdf
Executing Model-based Tests on Platform-specific Implementations Dongjiang You
Sanjai Rayadurgam
Mats Heimdahl
John Komp
Baek-Gyu Kim
Oleg Sokolsky
November 2015 30th International Conference on Automated Software Engineering, Lincoln, Nebraska, November 2015. Critical Systems Research Group PDF icon you-ase15.pdf
Programs, Tests, and Oracles: The Foundations of Testing Revisited. Matt Staats
Michael Whalen
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

Pages