The Symbolic Execution of Software

The Symbolic Execution of Software The SYM-BOL System - Computer Science.

Paperback (01 Dec 1994)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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.

Book information

ISBN: 9780412583407
Publisher: Chapman & Hall
Imprint: Chapman & Hall
Pub date:
DEWEY: 005.14
DEWEY edition: 20
Language: English
Number of pages: 155
Weight: -1g
Height: 234mm
Width: 156mm