Symbolic Execution and Quantitative Reasoning

Corina S. Pasareanu is an ACM distinguished scientist, working at NASA Ames Research Center. She is affiliated with Carnegie Mellon University’s CyLab and holds a courtesy appointment in Electrical and Computer Engineering. At Ames, she is developing and extending Symbolic PathFinder, a symbolic execution tool for Java bytecode. Her research interests include model checking and automated testing, compositional verification, model-based development, probabilistic software analysis, software engineering for machine learning, autonomy, and security. She is the recipient of several awards, including ASE Most Influential Paper Award (2018), ESEC/FSE Test of Time Award (2018), ISSTA Retrospective Impact Paper Award (2018), ACM Impact Paper Award (2010), and ICSE2010 Most Influential Paper Award (2010). She has been serving as Program or General Chair for several conferences including: FM 2021, ICST 2020, ISSTA2020, ESEC/FSE 2018, CAV 2015, ISSTA 2014, ASE 2011, and NFM 2009.She is currently an associate editor for the IEEE TSE Journal.

• Acknowledgments.- Introduction.- Symbolic Execution: The Basics.- Symbolic Complexity Analysis.- Probabilistic Reasoning.- Side-Channel Analysis.- Conclusion and Directions for the Future.- Bibliography.- Author's Biography.