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

Author Darrel Ince, David Coward

Publisher Cengage Learning EMEA

Category COBOL (Computer program language).

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

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

Price not listed

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $18.88

Book Details

Author(s)Darrel Ince, David Coward

PublisherCengage Learning EMEA

ISBN / ASIN0412583402

ISBN-139780412583407

Sales Rank5,622,437

CategoryCOBOL (Computer program language).

MarketplaceUnited States 🇺🇸

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.