University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
From Requirements to Code: Model Based Development of A Medical Cyber Physical System? Anitha Murugesan
Mats Heimdahl
Dr. Michael Whalen, Ph.D.
Sanjai Rayadurgam
John Komp
Lian Duan
Baek-Gyu Kim
Oleg Sokolsky
Insup Lee
June 2014 Fourth International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2014) and Software Engineering in Healthcare workshop (SEHC 2014) Critical Systems Research Group PDF icon MedCPS.pdf
Reasoning about Confidence and Uncertainty in Assurance Cases: A Survey Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
Anaheed Ayoub
Oleg Sokolsky
Insup Lee
July 2014 4th International Symposium on Foundations of Health Information Engineering and Systems/6th International Workshop on Software Engineering in Health Care in Arlington, VA, July 2014 Critical Systems Research Group PDF icon lduan_SEHC_1.pdf
Improving the Accuracy of Oracle Verdicts Through Automated Model Steering Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
September 2014 29th ACM/IEEE International Conference on Automated Software Engineering (ASE'14). Vasteras, Sweden, September 2014. Critical Systems Research Group PDF icon 14ase.pdf
A Hierarchical Requirements Reference Model Anitha Murugesan October 2014 Grace Hopper Celebration for Women in Computing 2014 Critical Systems Research Group PDF icon ExtendedAbstract.pdf
Requirements Analysis of a Quad-Redundant Flight Control System John Backes
Darren Cofer
Andrew Gacek
Dr. Michael Whalen, Ph.D.
April 2015 Appeared in NASA Formal Methods Conference, Pasadena, CA, April 27-29, 2015. Critical Systems Research Group PDF icon NFM-qfcs.pdf
Towards Realizability Checking of Contracts using Theories Andrew Gacek
Andreas Katis
Dr. Michael Whalen, Ph.D.
John Backes
Darren Cofer
April 2015 NFM 2015 Critical Systems Research Group PDF icon document.pdf
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites Anitha Murugesan
Dr. Michael Whalen, Ph.D.
Dr. Neha Rungta
Oksana Tkachuk, Ph.D.
Suzette Person, Ph.D.
Mats Heimdahl
Dongjiang You
April 2015 7th NASA Formal Methods Symposium, Pasadena, California, April 2015. Critical Systems Research Group PDF icon murugesan-nfm15.pdf
A flexible and non-intrusive approach for computing complex structural coverage metrics Dr. Michael Whalen, Ph.D.
Suzette Person, Ph.D.
Dr. Neha Rungta
Matt Staats
Daniella Grijincu
May 2015 Critical Systems Research Group PDF icon ICSE_cov_metrics.pdf
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors Gregory Gay May 2015 Ph.D. Thesis, University of Minnesota Critical Systems Research Group PDF icon GregoryGayDissertation.pdf
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
June 2015 IEEE Transactions on Software Engineering Critical Systems Research Group PDF icon main_oracle_creation.pdf

Pages