Provides readers with a survey of software testing tools and techniques, and leads on to examples and a case study of symbolic execution in use. This book should be of interest to researchers, software engineers and postgraduate students.
Symbolic Execution Summary
Symbolic Execution by Darrel Ince
Unfortunately we do not have a summary for this item at the moment
Table of Contents
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.
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us