Skip to main content
PBS logo
 
 

Search - The Symbolic Execution of Software

The Symbolic Execution of Software
The Symbolic Execution of Software
Author: Darrel Ince, David Coward
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.
ISBN-13: 9780412583407
ISBN-10: 0412583402
Publication Date: 1/15/1995
Pages: 155
Edition: 1st
Rating:
  ?
0 stars, based on 0 rating
Publisher: International Thomson Computer Press
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.