https://www.ebooknetworking.net/books_detail-0412583402.html

Symbolic Execution (Chapman & Hall Computer Science: Research & Practice Series)

Name: Symbolic Execution (Chapman & Hall Computer Science: Research & Practice Series)
Author: Darrel Ince, David Coward
ISBN: 9780412583407

AuthorDarrel Ince, David Coward

PublisherCengage Learning EMEA

CategoryCOBOL (Computer program language).

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇫🇷

Book Details

Author(s)Darrel Ince, David Coward

PublisherCengage Learning EMEA

ISBN / ASIN0412583402

ISBN-139780412583407

CategoryCOBOL (Computer program language).

MarketplaceFrance 🇫🇷

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.