University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
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
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
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods Anjali Joshi
Steven Miller
Mats Heimdahl
October 2003 22nd IEEE Digital Avionics Systems Conference (DASC'2003)} (Awarded Best Paper of Session), Indianapolis, October 2003. Critical Systems Research Group PDF icon modeConfusion.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
Steering Model-Based Oracles to Admit Real Program Behaviors Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
June 2014 2014 International Conference on Software Engineering, Hyderabad, India, June 2014. Critical Systems Research Group PDF icon 14nier.pdf
Computing heap space cost of Java Card applets Hung T. Pham
Anh-Hoang Truong
Ninh-Thuan Truong
July 2008 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies Critical Systems Research Group PDF icon pham.08.rivfa_.pdf
Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems Dongjiang You
Isaac Amundson
Scott Hareland
Sanjai Rayadurgam
May 2014 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Hyderabad, India, May 2014. Critical Systems Research Group PDF icon you-mosemina14.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
Parallel Symbolic Execution for Structural Test Generation Matt Staats
Corina Pǎsǎreanu
July 2010 19th International Symposium on Software Testing and Analysis (ISSTA'10) Critical Systems Research Group PDF icon p183-staats.pdf
Specification Based Prototyping of Control Systems Mats Heimdahl
Jeffrey Thompson
October 2000 19th IEEE Digital Avionics Systems Conference}, Philadelphia, October 2000. Critical Systems Research Group PDF icon heimdamp.pdf