DocumentCode
280232
Title
Symbolic execution and testing
Author
Coward, P. David
Author_Institution
Dept. Comput. Studies, Bristol Polytech., UK
fYear
1990
fDate
33043
Firstpage
42401
Lastpage
42403
Abstract
A common approach to symbolic execution creates a flow-graph. This is a representation of a program which identifies the decision points and the assignments associated with each branch. By traversing the flow-graph from the (an) entry point, along a particular path to the (an) exit point, a list of assignment statements and branch predicates is produced. The author discusses symbolic execution before looking at path domain checking and test data generation. He discusses steps and assertions in symbolic execution
Keywords
program testing; symbol manipulation; assignment statements; branch predicates; critical systems; decision points; flow-graph; path domain checking; software testing; symbolic execution; test data generation;
fLanguage
English
Publisher
iet
Conference_Titel
Software Testing for Critical Systems, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
190438
Link To Document