Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Corina S. Pasareanu

Anthology ID:

DBLP:series/synthesis/2020Pasareanu

Volume:

2020

Year:

2020

Venue:

synthesis_series

Publisher:

Morgan & Claypool Publishers

URL:

https://doi.org/10.2200/S01010ED2V01Y202005SWE006

DOI:

10.2200/S01010ED2V01Y202005SWE006

DBLP:

series/synthesis/2020Pasareanu

BibTeX:

Download Copy BibTeX to Clipboard Copy Bibkey "pasareanu-2020-symbolic" to Clipboard

Google Scholar Internet Archive Scholar Semantic Scholar