Software testing & verification books

409 books were found.

How to Become a QA Tester in 30 Days: 45 Practical Lessons on Software QA and Testing

How to Become a QA Tester in 30 Days: 45 Practical Lessons...

Author: Roman Savin ,  Ruslan Desyatnikov
ISBN: 9780578486093
Format: Paperback
$191.48

This is one of the kind course to help you learn software QA and Testing with the purpose of finding a job in the...  Read More >>

Thinking-Driven Testing: The Most Reasonable Approach to Quality Control

Thinking-Driven Testing: The Most Reasonable Approach...

Author: Adam Roman
ISBN: 9783319731940
Format: Hardback
$142.29

It thus approaches software testing from a different perspective than in past literature, as the vast majority of...  Read More >>

Software Quality Assurance

Software Quality Assurance

Author: CY Laporte ,  Alain April
ISBN: 9781118501825
Format: Hardback
$205.95

 Read More >>

Unraveling Software Maintenance and Evolution: Thinking Outside the Box

Unraveling Software Maintenance and Evolution: Thinking...

Author: Ervin Varga
ISBN: 9783319713021
Format: Hardback
$103.47

It delivers the content in a pragmatic fashion using case studies which are woven into long running story lines....  Read More >>

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models...

Author: Nils Przigoda ,  Robert Wille
ISBN: 9783319728131
Format: Hardback
$362.22

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification...  Read More >>

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security...

Author: Tevfik Bultan ,  Muath Alkhalaf
ISBN: 9783319686684
Format: Hardback
$206.97

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string...  Read More >>

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Verification, Model Checking, and Abstract Interpretation:...

Author: Isil Dillig ,  Jens Palsberg
ISBN: 9783319737201
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking,...  Read More >>

Essential Software Testing: A Use-Case Approach

Essential Software Testing: A Use-Case Approach

Author: Greg Fournier (Enlighten Solutions, Colorado Springs, USA)
ISBN: 9781138440487
Format: Hardback
$414.00

A practical guide to software testing. It gives software testers a firm grasp of various testing fundamentals: how...  Read More >>

Writing Great Specifications: Using Specification by Example and Gherkin

Writing Great Specifications: Using Specification by...

Author: Kamil Nicieja
ISBN: 9781617294105
Format: Paperback
$118.77

Key Features: ·    Teaches good practices to refactor Gherkin documents in legacy projects ·    Example-rich...  Read More >>

Debugging Embedded Software Using Virtual Platforms

Debugging Embedded Software Using Virtual Platforms...

Author: Achim Nohl ,  Niels Vanspauwen
ISBN: 9781441967800
Format: Hardback
$340.56

 Read More >>

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems....

Author: Alessandro Fantechi ,  Thierry Lecomte
ISBN: 9783319684987
Format: Paperback
$116.41

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security...  Read More >>

Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities

Enhancing Software Fault Prediction With Machine Learning:...

Author: Ekbal Rashid
ISBN: 9781522531852
Format: Hardback
$395.95

Presents the latest advances and strategies for software quality prediction. Including a range of pivotal topics...  Read More >>

Clean Architecture: A Craftsman's Guide to Software Structure and Design

Clean Architecture: A Craftsman's Guide to Software...

Author: Robert Martin ,  Robert Martin
ISBN: 9780134494166
Format: Paperback
$47.95

 Read More >>

Kanban Esencial Condensado

Kanban Esencial Condensado

Author: David J Anderson ,  Andy Carmichael (Object UK Ltd Southampton)
ISBN: 9780984521456
Format: Paperback
$38.68

En un entorno de negocios en constante cambio, en el que la transformaci�n digital de las empresas es una cuesti�n...  Read More >>

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Static Analysis: 24th International Symposium, SAS 2017,...

Author: Francesco Ranzato
ISBN: 9783319667058
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held...  Read More >>

Quality Software Through Reuse and Integration

Quality Software Through Reuse and Integration

Author: Stuart H. Rubin ,  Thouraya Bouabana-Tebibel
ISBN: 9783319561561
Format: Paperback
$465.72

This book presents 13 high-quality research articles that provide long sought-after answers to questions concerning...  Read More >>

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Verification and Evaluation of Computer and Communication...

Author: Kamel Barkaoui ,  Hanifa Boucheneb
ISBN: 9783319661759
Format: Paperback
$116.41

​This book constitutes the proceedings of the 11th International Conference International Conference on Verification...  Read More >>

Sustainable Test-Driven Development

Sustainable Test-Driven Development

Author: Scott Bain ,  Amir Kolsky
ISBN: 9780321862471
Format: Paperback
$118.77

 Read More >>

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification: 10th International...

Author: Alessandro Abate ,  Sylvie Boldo
ISBN: 9783319635002
Format: Paperback
$116.41

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV...  Read More >>

Incident Management for Operations

Incident Management for Operations

Author: Rob Schnepp ,  Ron Vidal
ISBN: 9781491917626
Format: Paperback
$56.00

 Read More >>

Spock – Up and Running

Spock – Up and Running

Author: Rob Fletcher
ISBN: 9781491923290
Format: Paperback
$96.00

This practical guide shows you how to write concise and highly readable tests with Spock, the most innovative testing...  Read More >>

Agile Testing Foundations: An ISTQB Foundation Level Agile Tester guide

Agile Testing Foundations: An ISTQB Foundation Level...

Author: Rex Black ,  Rex Black
ISBN: 9781780173368
Format: Paperback
$103.47

Agile testing brings many advantages to teams, from increasing overall product quality to providing greater scope...  Read More >>

Hand Coding Coded Ul: An Evaluation Journey from Inception to Completion

Hand Coding Coded Ul: An Evaluation Journey from Inception...

Author: G. Suden
ISBN: 9781547000852
Format: Paperback
$96.62

This book is aimed at testers who want to try their hands at automated testing using Coded UI, which is available...  Read More >>

The Craft of Model-Based Testing

The Craft of Model-Based Testing

Author: Paul C. Jorgensen
ISBN: 9781498712286
Format: Hardback
$396.00

Model-based testing has long been used in Europe and is becoming more popular in the U.S. and the rest of the world....  Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List