University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion Hung T. Pham
Anh-Hoang Truong
Wei-Ngan Chin
Takenobu Aoshima
October 2010 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS) Critical Systems Research Group PDF icon TTSS2009.pdf
Proceedings of the 1st Doctoral Symposium of the International Conference on Software Language Engineering (SLE-DS-2010) Eric Van Wyk
Steffen Zschaler
October 2010 International Conference on Software Language Engineering (SLE 2010) Minnesota Extensible Language Tools
When to Use Data from Other Projects for Effort Estimation Ekrem Kocaguneli
Gregory Gay
Tim Menzies
Ye Yang
Jacky Keung
September 2010 ASE '10 Proceedings of the IEEE/ACM international conference on Automated software engineering Critical Systems Research Group PDF icon 10ccwc.pdf
A Baseline Method For Search-Based Software Engineering Gregory Gay September 2010 PROMISE '10 Proceedings of the 6th International Conference on Predictive Models in Software Engineering Critical Systems Research Group PDF icon 10baseline.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
A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody Michael Whalen August 2010 Department of Computer Science and Engineering University of Minnesota 200 Union St. Minneapolis, MN 55455 Critical Systems Research Group PDF icon Parametric SOS.pdf
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
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
Measuring the Heterogeneity of Crosscompany Datasets Jia Chen
Ye Yang
Wen Zhang
Gregory Gay
June 2010 PROFES 2010 Critical Systems Research Group PDF icon 10profes.pdf
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness Matt Staats
Michael Whalen
Ajitha Rajan
Mats Heimdahl
April 2010 Proceedings of the Second NASA Formal Methods Symposium Critical Systems Research Group PDF icon main.pdf

Pages