Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Häftad, Engelska, 2020

AvCorina S. Păsăreanu,Corina S. Pasareanu,Corina S. Păsăreanu,Corina S. P¿s¿reanu

349 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2020-05-13
Mått191 x 235 x 5 mm
Vikt161 g
FormatHäftad
SpråkEngelska
SerieSynthesis Lectures on Software Engineering
Antal sidor65
FörlagSpringer International Publishing AG
ISBN9783031014239
OriginaltitelSymbolic Execution and Quantitative Reasoning

Tillhör följande kategorier

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

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.