Symbolic Execution
Published on 1. December 1994
Book
Paperback/Softback
192 pages
978-0-412-58340-7 (ISBN)
Description
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.
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.
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.
More details
Series
Language
English
Place of publication
London
United Kingdom
Target group
College/higher education
Professional and scholarly
Illustrations
30 line illustrations, references, index
Dimensions
Height: 234 mm
Width: 156 mm
ISBN-13
978-0-412-58340-7 (9780412583407)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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.