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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2011 33rd International Conference on Software Engineering (ICSE) s. 1066 - 1071
Hlavní autoři: Cadar, Cristian, Godefroid, Patrice, Khurshid, Sarfraz, Păsăreanu, Corina S., Sen, Koushik, Tillmann, Nikolai, Visser, Willem
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 21.05.2011
IEEE
Edice:ACM Conferences
Témata:
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
dynamic test generation
generalized symbolic execution
ISBN:9781450304450, 1450304451
ISSN:0270-5257
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISBN:9781450304450
1450304451
ISSN:0270-5257
DOI:10.1145/1985793.1985995