Corina S. Păsăreanu

Symbolic Execution and Quantitative Reasoning

2020

Computer Aided Verification

2015

Formal Aspects of Component Software

2013

Model Checking Software

2009

Theoretical Aspects of Computing - ICTAC 2022

2022

Proceedings of the 2014 International Symposium on Software Testing and Analysis

2014

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings

2009