Title :
Symbolic execution and testing
Author :
Coward, P. David
Author_Institution :
Dept. Comput. Studies, Bristol Polytech., UK
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;
Conference_Titel :
Software Testing for Critical Systems, IEE Colloquium on
Conference_Location :
London
