University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
Language and Library Support for Climate Data Applications Eric Van Wyk
Vipin Kumar
Michael Steinbach
Shyam Boriah
Alok Choudhary
October 2009 In Proceedings of Workshop on Software Research and Climate Change Minnesota Extensible Language Tools PDF icon wsrcc_van_wyk.pdf
Development of Security Software: A High-Assurance Methodology David Hardin
D. Randolph Johnson
Lucas Wagner
Dr. Michael Whalen, Ph.D.
T. Douglas Hiratzka
December 2009 Proceedings of the 11th International Conference of Formal Engineering Methods (ICFEM 2009). Critical Systems Research Group PDF icon hardin-icfem09-proof.pdf
Silver: an Extensible Attribute Grammar System Eric Van Wyk
Derek Bodin
Jimin Gao
Lijesh Krishnan
January 2010 Science of Computer Programming. Special issue for LDTA 2006 and 2007. This article is the same as the proofed version available on Elsevier's web site - only the formatting differs. Minnesota Extensible Language Tools PDF icon silver_vanwyk.pdf
Software Model Checking Takes Off Steven Miller
Dr. Michael Whalen, Ph.D.
Darren Cofer
February 2010 Communications of the ACM, Volume 53, No 2. Critical Systems Research Group PDF icon Software Model Checking Takes Off.pdf
Model Checking Information Flow Dr. Michael Whalen, Ph.D.
David Greve
Lucas Wagner
March 2010 Book Chapter in "Design and Verification of Microprocessor Systems for High-Assurance Applications" D. Hardin, ed. Springer Verlag, March, 2010. Critical Systems Research Group PDF icon Model Checking Information Flow.pdf
Finding Robust Solutions in Requirements Models Gregory Gay
Tim Menzies, Ph.D.
Omid Jalali
Gregory Mundy
Beau Gilkerson
Martin Feather
James Kiper
March 2010 Journal of Automated Software Engineering archive Volume 17 Issue 1, March 2010 Critical Systems Research Group PDF icon 10keys.pdf
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness Matt Staats
Dr. Michael Whalen, Ph.D.
Ajitha Rajan
Mats Heimdahl
April 2010 Proceedings of the Second NASA Formal Methods Symposium Critical Systems Research Group PDF icon main.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
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
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