Reasoning about Algebraic Datatypes with Abstractions |
Hung T. Pham Andrew Gacek Dr. Michael Whalen, Ph.D. |
April 2016 |
Journal of Automated Reasoning, to appear |
Critical Systems Research Group |
|
Resolute: An Assurance Case Language for Architecture Models |
Andrew Gacek John Backes Darren Cofer Konrad Slind Dr. Michael Whalen, Ph.D. |
April 2016 |
Appeared at the International Conference on High Integrity Languages and Tools, Portland, Oregon, October 18-21, 2014. |
Critical Systems Research Group |
Resolute-HILT.pdf |
Representation of Confidence in Assurance Cases using the Beta Distribution |
Lian Duan Sanjai Rayadurgam Mats Heimdahl Oleg Sokolsky Insup Lee |
January 2016 |
Proceedings of the High Assurance Systems Engineering Symposium (accepted for publication) in Orlando, FL, January 2016 |
Critical Systems Research Group |
|
Executing Model-based Tests on Platform-specific Implementations |
Dongjiang You Sanjai Rayadurgam Mats Heimdahl John Komp Baek-Gyu Kim Oleg Sokolsky |
November 2015 |
30th International Conference on Automated Software Engineering, Lincoln, Nebraska, November 2015. |
Critical Systems Research Group |
you-ase15.pdf |
Automated Oracle Data Selection Support |
Gregory Gay Matt Staats Dr. Michael Whalen, Ph.D. Mats Heimdahl |
November 2015 |
Appeared in IEEE Transactions on Software Engineering, Volume 41 (11), November, 2015 |
Critical Systems Research Group |
main_oracle_creation.pdf |
Efficient Observability-based Test Generation by Dynamic Symbolic Execution |
Dongjiang You Sanjai Rayadurgam Dr. Michael Whalen, Ph.D. Mats Heimdahl Gregory Gay |
November 2015 |
26th International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015. |
Critical Systems Research Group |
you-issre15.pdf |
Representation of Confidence in Assurance Case Evidence |
Lian Duan Sanjai Rayadurgam Mats Heimdahl Oleg Sokolsky Insup Lee |
November 2015 |
3rd International Workshop on Assurance Cases for Software-Intensive Systems in Delft, The Netherlands, September 2015 |
Critical Systems Research Group |
lduan_ASSURE_2015.pdf |
Design Considerations for Modeling Modes in Cyber–Physical Systems |
Anitha Murugesan Sanjai Rayadurgam Dr. Michael Whalen, Ph.D. Mats Heimdahl |
October 2015 |
IEEE Design & Test |
Critical Systems Research Group |
07172459.pdf |
Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems |
Dr. Michael Whalen, Ph.D. Sanjai Rayadurgam Elaheh Ghassabani Anitha Murugesan Oleg Sokolsky Mats Heimdahl Insup Lee |
August 2015 |
University of Minnesota |
Critical Systems Research Group |
MultiFormalismTechReport.pdf |
The Risks of Coverage-Directed Test Case Generation |
Gregory Gay Matt Staats Dr. Michael Whalen, Ph.D. Mats Heimdahl |
August 2015 |
IEEE Transactions on Software Engineering |
Critical Systems Research Group |
15covrisks.pdf |