Software testing & verification books

417 books were found.

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 (Grand Valley State University, Allendale, Michigan, USA)
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 >>

Expert Test Manager: Guide to the Istqb Expert Level Certification

Expert Test Manager: Guide to the Istqb Expert Level...

Author: Rex Black ,  Debra Friedenberg
ISBN: 9781933952949
Format: Paperback
$79.99

 Read More >>

Mobile Software Testing

Mobile Software Testing

Author: Narayanan Palani
ISBN: 9789383952144
Format: Paperback
$27.06

"Mobile Software Testing, the second book written by author Narayanan Palani and the first ever book on Mobile Application...  Read More >>

Introduction to Software Testing

Introduction to Software Testing

Author: Paul Ammann (George Mason University, Virginia) ,  Jeff Offutt (George Mason University, Virginia)
ISBN: 9781107172012
Format: Hardback
$142.29

This extensively classroom-tested text uses an innovative approach to explaining software testing, and covers the...  Read More >>

The Way of the Web Tester

The Way of the Web Tester

Author: Jonathan Rasmusson
ISBN: 9781680501834
Format: Paperback
$46.50

This book is for everyone who needs to test the web. As a tester, you'll automate your tests. As a developer, you'll...  Read More >>

Software Testing 2020: Preparing for New Roles

Software Testing 2020: Preparing for New Roles

Author: Mukesh Sharma
ISBN: 9781498788878
Format: Paperback
$158.27

Software testing is at a very important crossroad, where it is going back to the roots on certain fronts while moving...  Read More >>

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification...

Author: Tiziana Margaria ,  Bernhard Steffen
ISBN: 9783319471686
Format: Paperback
$219.91

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium...  Read More >>

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification...

Author: Tiziana Margaria ,  Bernhard Steffen
ISBN: 9783319471655
Format: Paperback
$232.85

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium...  Read More >>

Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Testing Software and Systems: 28th IFIP WG 6.1 International...

Author: Franz Wotawa ,  Mihai Nica
ISBN: 9783319474427
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software...  Read More >>

Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques

Debugging Systems-on-Chip: Communication-centric and...

Author: Bart Vermeulen ,  Kees Goossens
ISBN: 9783319356921
Format: Paperback
$232.85

Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors...  Read More >>

Developer Testing: Building Quality into Software

Developer Testing: Building Quality into Software

Author: Alexander Tarlinder
ISBN: 9780134291062
Format: Paperback
$49.95

In Developer Testing, leading test expert and mentor Alexander Tarlinder presents concise, focused guidance for...  Read More >>

Design Error: A Human Factors Approach

Design Error: A Human Factors Approach

Author: Ronald William Day (Safe Design Solutions, Australia; Central Queensland University, Australia)
ISBN: 9781498783675
Format: Paperback
$105.00

This book shows how to identify potential design errors and modify procedures in the design process to mitigate...  Read More >>

Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems...

Author: Simona Bernardi ,  José Merseguer
ISBN: 9783662509425
Format: Paperback
$204.41

This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It...  Read More >>

Effective Debugging: 66 Specific Ways to Debug Software and Systems

Effective Debugging: 66 Specific Ways to Debug Software...

Author: Diomidis Spinellis
ISBN: 9780134394794
Format: Paperback
$49.95

In Effective Debugging, Diomidis Spinellis helps students accelerate their journey to mastery, by systematically...  Read More >>

Building Maintainable Software, C# Edition

Building Maintainable Software, C# Edition

Author: Joost Visser ,  Sylvan Rigal
ISBN: 9781491954522
Format: Paperback
$40.00

 Read More >>

Accelerated Windows Memory Dump Analysis: Training Course Transcript and Windbg Practice Exercises with Notes

Accelerated Windows Memory Dump Analysis: Training Course...

Author: Dmitry Vostokov ,  Software Diagnostics Services
ISBN: 9781908043467
Format: Paperback
$517.50

With 21 step-by-step exercises, notes, source code of specially created modeling applications, and selected Q&A,...  Read More >>

Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level

Model-Based Testing Essentials - Guide to the ISTQB...

Author: Anne Kramer ,  Bruno Legeard
ISBN: 9781119130017
Format: Hardback
$160.95

Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB(R)...  Read More >>

Essential Kanban Condensed

Essential Kanban Condensed

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

"Kanban is a method of organizing and managing professional services work. It uses Lean concepts such as limiting...  Read More >>

Reliable Software for Unreliable Hardware: A Cross Layer Perspective

Reliable Software for Unreliable Hardware: A Cross Layer...

Author: Semeen Rehman ,  Muhammad Shafique
ISBN: 9783319257709
Format: Hardback
$181.10

Readers will learn how to achieve increased soft error resilience on unreliable hardware, while exploiting the inherent...  Read More >>

Software Quality Assurance: Integrating Testing, Security, and Audit

Software Quality Assurance: Integrating Testing, Security,...

Author: Abu Sayed Mahfuz
ISBN: 9781498735537
Format: Hardback
$273.00

Software Quality Assurance: Integrating Testing, Security, and Audit focuses on the importance of software quality...  Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List