Symbolic execution and testing

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.

[1]  P. David Coward.  Symbolic execution systems-a review , 1988, Softw. Eng. J..

[2]  I. S. Torsun,et al.  An empirical analysis of COBOL programs , 1979, Softw. Pract. Exp..

[3]  Karl N. Levitt,et al.  SELECT - a formal system for testing and debugging programs by symbolic execution , 1975, Reliable Software.

[4]  P. David Coward.  Path feasibility, linear optimizers and the evaluate standard form , 1991, SIGP.

[5]  James C. King.  Program reduction using symbolic execution , 1981, SOEN.

[6]  Thomas E. Cheatham,et al.  Symbolic Evaluation and the Analysis of Programs , 1979, IEEE Transactions on Software Engineering.

[7]  Lori A. Clarke,et al.  A partition analysis method to increase program reliability , 1981, ICSE '81.

[8]  William E. Howden,et al.  Symbolic Testing and the DISSECT Symbolic Evaluation System , 1977, IEEE Transactions on Software Engineering.

[9]  SIDNEY L. HANTLER,et al.  An Introduction to Proving the Correctness of Programs , 1976, CSUR.

[10]  Lee J. White,et al.  A Domain Strategy for Computer Program Testing , 1980, IEEE Transactions on Software Engineering.

[11]  James C. King,et al.  Symbolic execution and program testing , 1976, CACM.

[12]  Lori A. Clarke,et al.  A System to Generate Test Data and Symbolically Execute Programs , 1976, IEEE Transactions on Software Engineering.

[13]  C. V. Ramamoorthy,et al.  On the Automated Generation of Program Test Data , 1976, IEEE Transactions on Software Engineering.

[14]  Lee J. White,et al.  Experiments determining best paths for testing computer program predicates , 1985, ICSE '85.