The Symbolic Execution of Software / The Sym-Bol System 

 -  Chapman & Hall,  1995 
 - 168 
<br/><br/> This book is concerned with program testing and in particular with symbolic execution as a technique for aiding program testing.  Testing, Tools and Techniques for Testing, The Principles of Symbolic Execution, Existing Symbolic Execution Systems, SYM-BOL - A Symbolic Execution System for COBOL, The Main Features of SYM-BOL, Conclusions, References, Index. 
<br/><br/><label>ISBN: </label>412583402