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

Full description

Saved in:

Bibliographic Details
Published in:	2011 33rd International Conference on Software Engineering (ICSE) pp. 1066 - 1071
Main Authors:	Cadar, Cristian, Godefroid, Patrice, Khurshid, Sarfraz, Păsăreanu, Corina S., Sen, Koushik, Tillmann, Nikolai, Visser, Willem
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 21.05.2011 IEEE
Series:	ACM Conferences
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!