Software testing & verification books

409 books were found.

Property-Based Testing with PropEr, Erlang, and Eliixir

Property-Based Testing with PropEr, Erlang, and Eliixir...

Author: Fred Hebert
ISBN: 9781680506211
Format: Paperback
$121.31

Property-based testing helps you create better, more solid tests with little code. By using the PropEr framework...  Read More >>

Code Generation, Analysis Tools, and Testing for Quality

Code Generation, Analysis Tools, and Testing for Quality...

Author: Ricardo Alexandre Peixoto de Queirós ,  Alberto Simões
ISBN: 9781522586418
Format: Paperback
$409.20

Discusses the generation and writing of computer programming and methods of quality control such as analysis and...  Read More >>

Code Generation, Analysis Tools, and Testing for Quality

Code Generation, Analysis Tools, and Testing for Quality...

Author: Ricardo Alexandre Peixoto de Queirós ,  Alberto Simões
ISBN: 9781522574552
Format: Hardback
$527.95

Discusses the generation and writing of computer programming and methods of quality control such as analysis and...  Read More >>

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

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

Author: Constantin Enea ,  Ruzica Piskac
ISBN: 9783030112448
Format: Paperback
$116.41

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

Site Reliability Engineering (SRE) Handbook: How SRE Implements DevOps

Site Reliability Engineering (SRE) Handbook: How SRE...

Author: Stephen Fleming
ISBN: 9781684542673
Format: Paperback
$49.08

Well, you have been hearing a lot about DevOps lately, wait until you meet a Site Reliability Engineer (SRE)!  Read More >>

Testing Java Microservices

Testing Java Microservices

Author: Alex Soto Bueno ,  Jason Porter
ISBN: 9781617292897
Format: Paperback
$118.77

With traditional software unit tests, there’s never a guarantee that an application will actually function correctly...  Read More >>

Software Fault Detection and Correction: Modeling and Applications

Software Fault Detection and Correction: Modeling and...

Author: Rui Peng ,  Yan-Fu Li
ISBN: 9789811311611
Format: Paperback
$129.35

This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced...  Read More >>

Systems and Software Testing Techniques and Frameworks

Systems and Software Testing Techniques and Frameworks...

Author: Jovan Pehcevski
ISBN: 9781773615059
Format: Hardback
$411.41

Provides a brief description of various methods and approaches required for software testing. The book provides...  Read More >>

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification...

Author: Tiziana Margaria ,  Bernhard Steffen
ISBN: 9783030034238
Format: Paperback
$181.10

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International...  Read More >>

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification...

Author: Tiziana Margaria ,  Bernhard Steffen
ISBN: 9783030034177
Format: Paperback
$181.10

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International...  Read More >>

NASA Software Safety Guidebook: Nasa-Gb-8719.13

NASA Software Safety Guidebook: Nasa-Gb-8719.13

Author: National Aeronautics and Space Administr
ISBN: 9781731089274
Format: Paperback
$75.13

This is an excellent primer on software safety and a classic! This document has been issued to make available to...  Read More >>

Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants

Dependability Assessment of Software for Safety Instrumentation...

Author: IAEA
ISBN: 9789201012180
Format: Paperback
$66.00

 Read More >>

Complete Guide to Test Automation: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects

Complete Guide to Test Automation: Techniques, Practices,...

Author: Arnon Axelrod
ISBN: 9781484238318
Format: Paperback
$54.99

Rely on this robust and thorough guide to build and maintain successful test automation. As the software industry...  Read More >>

Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

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

Author: Inmaculada Medina-Bulo ,  Mercedes G. Merayo
ISBN: 9783319999265
Format: Paperback
$116.41

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

Hands-On Automation Testing with Java for Beginners: Build automation testing frameworks from scratch with Java

Hands-On Automation Testing with Java for Beginners:...

Author: Rahul Shetty
ISBN: 9781789534603
Format: Paperback
$62.07

Java is one of the most commonly used software languages by programmers and developers. Are you from a non-technical...  Read More >>

Agile Testing: Learn in 1 Day

Agile Testing: Learn in 1 Day

Author: Krishna Rungta
ISBN: 9781726849883
Format: Paperback
$26.37

Agile is trending in the software industry as it yields quick and reliable results. As per a study by Gartner, 85%...  Read More >>

Test Automation using Selenium Webdriver 3.0 with C#

Test Automation using Selenium Webdriver 3.0 with C#...

Author: Navneesh Garg ,  Vaibhav Mittal
ISBN: 9780992293567
Format: Paperback
$131.97

About the Book Test Automation using Selenium WebDriver with C#, is the latest book released on Selenium 3.0 using...  Read More >>

Real-World SRE: The Survival Guide for Responding to a System Outage and Maximizing Uptime

Real-World SRE: The Survival Guide for Responding to...

Author: Nat Welch
ISBN: 9781788628884
Format: Paperback
$80.19

This hands-on survival manual will give you the tools to confidently prepare for and respond to a system outage....  Read More >>

pytest Quick Start Guide: Write better Python code with simple and maintainable tests

pytest Quick Start Guide: Write better Python code with...

Author: Bruno Oliveira
ISBN: 9781789347562
Format: Paperback
$62.07

 Read More >>

Mobile Testing: An ASTQB-BCS Foundation guide

Mobile Testing: An ASTQB-BCS Foundation guide

Author: Rex Black
ISBN: 9781780174044
Format: Paperback
$77.60

 Read More >>

Debugging: The 9 Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems

Debugging: The 9 Indispensable Rules for Finding Even...

Author: David J. AGANS
ISBN: 9780814474570
Format: Paperback
$29.99

When the pressure is on to root out an elusive software or hardware glitch, what’s needed is a cool head courtesy...  Read More >>

Test Environment Management

Test Environment Management

Author: Anurag Sharma
ISBN: 9781912651269
Format: Paperback
$52.67

This book provides a very quick guide to the basic elements of the Test Environment Management function.  Read More >>

Rails 5 Test Prescriptions

Rails 5 Test Prescriptions

Author: Noel Rappin
ISBN: 9781680502503
Format: Paperback
$76.75

Does your Rails code suffer from bloat, brittleness, or inaccuracy? Cure these problems with the regular application...  Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List