Symbolic execution for software testing in practice: preliminary assessment

We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased avai...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cadar, Cristian, Godefroid, Patrice, Khurshid, Sarfraz, Păsăreanu, Corina S., Sen, Koushik, Tillmann, Nikolai, Visser, Willem
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer bugs Computing methodologies > Symbolic and algebraic manipulation Concrete dynamic test generation generalized symbolic execution Java Security Software Software and its engineering > Software creation and management > Software verification and validation Testing Theory of computation > Models of computation > Abstract machines Theory of computation > Semantics and reasoning > Program reasoning > Abstraction Unified modeling language
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry.
ISSN:	0270-5257 1558-1225
DOI:	10.1145/1985793.1985995