Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

AvCorina S. Păsăreanu

Häftad, Engelska, 2020

Del i serien Synthesis Lectures on Software Engineering

273 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.

Produktinformation

Utgivningsdatum:2020-05-13
Mått:191 x 235 x 5 mm
Vikt:161 g
Format:Häftad
Språk:Engelska
Serie:Synthesis Lectures on Software Engineering
Antal sidor:65
Förlag:Springer International Publishing AG
ISBN:9783031014239
Originaltitel:Symbolic Execution and Quantitative Reasoning

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Teknik: allmänt inom Naturvetenskap och teknik

Mer om författaren

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.

Innehållsförteckning

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