The symbolic execution of software : the SYM-BOL system
D. G. Coward, Darrel C. Ince · Chapman & Hall eBooks · 1995
Testing. Tools and techniques for testing. The principles of symbolic execution. Applications of symbolic execution. Existing symbolic execution systems. SYM-BOL - a symbolic execution system for COBOL. Assertions in SYM-BOL. Transforming a source program into intermediate form. Path selection and symbolic execution. Determining path feasibility and test generation.