Symbolic Execution by Darrel Ince
Unfortunately we do not have a summary for this item at the moment
Symbolic Execution
Symbolic Execution
$18.99
Condition - Very Good
Only 1 left
Summary
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
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.
Additional information
GOR012582910
9780412583407
0412583402
Symbolic Execution by Darrel Ince
Used - Very Good
Paperback
Cengage Learning EMEA
19941201
192
N/A
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