TY  - BOOK
AU  - Coward David
AU  - Darrel Ince
TI  - The Symbolic Execution of Software / The Sym-Bol System
SN  - 412583402
PY  - 1995///
PB  - Chapman & Hall
N2  - 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
ER  -