University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization Dongjiang You July 2010 10th International Conference on Quality Software, Zhangjiajie, China, July 2010. PDF icon li-qsic10.pdf
Abstractions in Decision Procedures for Algebraic Data Types Hung T. Pham
Michael Whalen
March 2013 University of Minnesota Critical Systems Research Group PDF icon 13-006.pdf
Adding Dimension Analysis to Java as a Composable Language Extension Eric Van Wyk
Yogesh Mali
July 2008 Post-proceedings of Generative and Transformational Techniques in Software Engineering (GTTSE) Minnesota Extensible Language Tools PDF icon dimensions.pdf
Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions Eric Van Wyk
Derek Bodin
Paul Huntington
October 2006 LCSD 2006 - Library Centric Software Development Workshop Minnesota Extensible Language Tools PDF icon vanwyk_lcsd.pdf
Algebraic Implementation of Model Checking Teodor Rus
Eric Van Wyk
March 1996 In Proc. of the 3rd AMAST Workshop on Real-Time Systems held in Salt Lake City, Utah March 6-8 1996. Minnesota Extensible Language Tools PDF icon utah_book_final.pdf
An Algebraic Language Processing Environment Teodor Rus
Tom Halverson
Eric Van Wyk
Robert Kooima
December 1997 In Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST). Springer Verlag Lecture Notes in Computer Science volume 1349 Minnesota Extensible Language Tools PDF icon sydney.pdf
An Approach to Automatic Code Generation for Safety-Critical Systems Michael Whalen
Mats Heimdahl
October 1999 Proceedings of the 14th IEEE International Conference on Automated Software Engineering}, Orlando, October, 1999. Critical Systems Research Group PDF icon 0_cg-requirements-hase99.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
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types Hung T. Pham
Michael Whalen
May 2013 Fifth Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE'13) Critical Systems Research Group PDF icon VSTTE.pdf
An Integrated Development Environment Prototyping Safety Critical Systems Jeffrey Thompson
Mats Heimdahl
June 1999 Tenth IEEE International Workshop on Rapid System Prototyping (RSP'99), Clearwater Beach, Florida, June, 1999 Critical Systems Research Group PDF icon prototyping-rsp99.pdf

Pages