|
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 |
