University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
Integrating attribute grammar and functional programming language features Ted Kaminski
Eric Van Wyk
July 2011 International Conference on Software Language Engineering (SLE 2011) Minnesota Extensible Language Tools PDF icon kaminski11sle_preproceedings.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
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
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
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
An Overview of XRobots: A Hierarchical State Machine-Based Language Steve Tousignant
Eric Van Wyk
Maria Gini
May 2011 Workshop on Software Development and Integration in Robotics (SDIR VI) Minnesota Extensible Language Tools PDF icon tousignant11sdir.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
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
Gregory Gay
March 2011 Software: Practice and Experience Volume 41, Issue 3, pages 283–305 Critical Systems Research Group PDF icon 10ourmine.pdf

Pages