Software testing & verification books

452 books were found.

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
$145.17

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
$145.17

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

Defines a framework that represents the state of the art in assessment methodologies for safety and instrumentation...  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
$145.17

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

Python's built-in unittest module is showing it's age; hard to extend, debug and track what's going on. The pytest...  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 >>

Selenium WebDriver 3 Practical Guide: End-to-end automation testing for web and mobile browsers with Selenium WebDriver, 2nd Edition

Selenium WebDriver 3 Practical Guide: End-to-end automation...

Author: Unmesh Gundecha ,  Satya Avasarala
ISBN: 9781788999762
Format: Paperback
$80.19

Selenium WebDriver 3 is the latest version used by many professionals for automated testing. The book will guide...  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 >>

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
$211.17

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: Claude Y. Laporte ,  Alain April (Université du Québec)
ISBN: 9781118501825
Format: Hardback
$205.95

This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA....  Read More >>

Unraveling Software Maintenance and Evolution: Thinking Outside the Box

Unraveling Software Maintenance and Evolution: Thinking...

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

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
$448.77

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
$263.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 >>

Keyword Spotting System in Speech Mining

Keyword Spotting System in Speech Mining

Author: Dr K a Senthil Devi ,  Dr B Srinivasan
ISBN: 9789386638748
Format: Paperback
$36.93

 Read More >>

Essential Software Testing: A Use-Case Approach

Essential Software Testing: A Use-Case Approach

Author: Greg Fournier
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 >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List