University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
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
Flexibility in Modeling Languages and Tools: A Call to Arms Eric Van Wyk
Mats Heimdahl
June 2009 International Journal on Software Tools for Technology Transfer: Volume 11, Issue 3 (2009), Page 203-215 Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon sttt_final.pdf
Verifiable Composition of Deterministic Grammars August Schwerdfeger
Eric Van Wyk
June 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) Minnesota Extensible Language Tools PDF icon pldi202-schwerdfeger.pdf
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder Matt Staats April 2009 Moffett Field, California Critical Systems Research Group PDF icon paper27-main.pdf
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets Hung T. Pham
Anh-Hoang Truong
Ninh-Thuan Truong
Wei-Ngan Chin
November 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) Critical Systems Research Group PDF icon pham-JavaCardHeap.pdf
Partial Translation Verification for Untrusted Code-Generators Matt Staats
Mats Heimdahl
October 2008 10th International Conference on Formal Methods and Software Engineering (ICFEM '08) Critical Systems Research Group PDF icon main.pdf
Software Model Checking for Avionics SSoftware MSoftware Model Checking for Avionics SSoftware Model Checking for Avionics Systemsystemsodel Checking for Avionics Systemsystems Darren Cofer
Michael Whalen
Steven Miller
October 2008 Proceedings of the 27th Digital Avionics Systems Conference (DASC’08) Critical Systems Research Group PDF icon Software-Model-Checking.pdf
On MC/DC and Implementation Structure: An Empirical Study Michael Whalen
Mats Heimdahl
Matt Staats
Ajitha Rajan
October 2008 Proceedings of the 27th Digital Avionics Systems Conference (DASC’08) (Best Paper of Session: Software Design) Critical Systems Research Group PDF icon DASC-08-MCDC-Fault-Finding.pdf
Requirements Coverage as an Adequacy Measure for Conformance Testing Ajitha Rajan
Michael Whalen
Matt Staats
Mats Heimdahl
October 2008 Proceedings of the 10th International Conference on Formal Methods and Software Engineering (ICFEM 2008) Critical Systems Research Group PDF icon main.pdf

Pages