Are you between 5 and 25? If so, enter the Wicked Young Writer Awards NOW - click here for details...

join us on facebook
Search our site
A Country Escape by Katie Fforde Read the opening extract of the brand new Katie Fforde book before its publication on 22/02/2018

Software testing & verification books

See below for a selection of the latest books from Software testing & verification category. Presented with a red border are the Software testing & verification books that have been lovingly read and reviewed by the experts at Lovereading.

With expert reading recommendations made by people with a passion for books and some unique features Lovereading will help you find great Software testing & verification books and those from many more genres to read that will keep you inspired and entertained. And it's all free!


Recently Published

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
, , ,
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be...
Format: Hardback - Released: 31/01/2018

String Analysis for Software Verification and Security by Tevfik Bultan, Muath Alkhalaf, Fang Yu, Abdulbaki Aydin String Analysis for Software Verification and Security
, , ,
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis...
Format: Hardback - Released: 30/01/2018

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

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited...
Format: Paperback - Released: 10/01/2018

Software Quality Assurance by Claude Y. Laporte, Alain April Software Quality Assurance
,
This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and...
Format: Hardback - Released: 15/12/2017

Java Unit Testing with JUnit 5 Test Driven Development with JUnit 5 by Shekhar Gulati, Rahul Sharma Java Unit Testing with JUnit 5 Test Driven Development with JUnit 5
,
Explore the new way of building and maintaining test cases with Java test driven development (TDD) using JUnit 5.
Format: Paperback - Released: 12/12/2017

The Joy of Debugging by Bryan Cantrill, David Pacheco The Joy of Debugging
,
Our view is that debugging is an essential part of the craft of software development. By thinking of debugging as a primary endeavor, developers are liberated to be more rigorous about it and can afford the luxury of complete understanding....
Format: Paperback - Released: 28/11/2017

Essential Software Testing A Use-Case Approach by Greg Fournier Essential Software Testing A Use-Case Approach

A Practical Guide to Software Testing Much has been written about the difficulty of software testing. Often these laments are accompanied by cautionary words about how careful one has to be to ensure testing is done properly. However, there is...
Format: Hardback - Released: 15/11/2017

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings by Francesco Ranzato Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
Format: Paperback - Released: 21/08/2017

Coming Soon

Rails 5 Test Prescriptions by Noel Rappin Rails 5 Test Prescriptions

Does your Rails code suffer from bloat, brittleness, or inaccuracy? Cure these problems with the regular application of test-driven development. You'll use Rails 5.1, Minitest 5, and RSpec 3.6, as well as popular testing libraries such as factory_girl and Cucumber.
Format: Paperback - Released: 28/02/2018

Unraveling Software Maintenance and Evolution Thinking Outside the Box by Ervin Varga Unraveling Software Maintenance and Evolution Thinking Outside the Box

It delivers the content in a pragmatic fashion using case studies which are woven into long running story lines.The book is organized in four parts, which can be read in any order, except for the first chapter, which introduces software...
Format: Hardback - Released: 03/03/2018

Thinking-Driven Testing The Most Reasonable Approach to Quality Control by Adam Roman Thinking-Driven Testing The Most Reasonable Approach to Quality Control

It thus approaches software testing from a different perspective than in past literature, as the vast majority of books describe testing in the context of specific tools, automation, documentation, particular test design techniques or test management.
Format: Hardback - Released: 09/03/2018

Other books in this genre

Quality Software Through Reuse and Integration by Stuart H. Rubin Quality Software Through Reuse and Integration

This book presents 13 high-quality research articles that provide long sought-after answers to questions concerning various aspects of reuse and integration. What is new and evolving, however, is the idea of relative validation through testing and reuse, and the abstraction...
Format: Paperback - Released: 17/08/2017

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings by Kamel Barkaoui Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

? This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together...
Format: Paperback - Released: 15/08/2017

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

Presents the latest advances and strategies for software quality prediction. Including a range of pivotal topics such as case-based reasoning, rate of improvement, and expert systems, this book is an ideal reference source for engineers, researchers, academics, students, professionals, and...
Format: Hardback - Released: 17/07/2017

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

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS...
Format: Paperback - Released: 12/07/2017

Incident Management for Operations by Rob Schnepp, Ron Vidal, Chris Hawley Incident Management for Operations
, ,
This practical book shows you how to apply the same response methodology to your own IT operation. You'll learn how IMS best practices for leading people and managing time apply directly to IT incidents where the stakes are high and...
Format: Paperback - Released: 04/07/2017

Agile Testing Foundations An ISTQB Foundation Level Agile Tester guide by Rex Black, Gerry Coleman, Bertrand Cornanguer, Marie Walsh Agile Testing Foundations An ISTQB Foundation Level Agile Tester guide
, , ,
Agile testing brings many advantages to teams, from increasing overall product quality to providing greater scope for flexibility. Building on the ISTQB Foundation Level Agile Tester syllabus, this book covers Agile principles, methods and tools, showing you exactly how Agile...
Format: Paperback - Released: 23/06/2017

Spock - Up and Running Writing Expressive Tests in Java and Groovy by Rob Fletcher Spock - Up and Running Writing Expressive Tests in Java and Groovy

This practical guide shows you how to write concise and highly readable tests with Spock, the most innovative testing and specification framework for the JVM since JUnit. Author Rob Fletcher takes you from Spock basics to advanced topics, using fully...
Format: Paperback - Released: 19/05/2017

The Craft of Model-Based Testing by Paul C. (Grand Valley State University, Allendale, Michigan, USA) Jorgensen The Craft of Model-Based Testing
, , ,
In his latest work, author Paul C Jorgensen takes his well-honed craftsman's approach to mastering model-based testing (MBT). To be expert at MBT, a software tester has to understand it as a craft rather than an art. This means a...
Format: Hardback - Released: 05/05/2017

Testing Practitioner Handbook by Renu Rajani Testing Practitioner Handbook

Gain insights into the latest technology and business trends within testing domains About This Book * This book covers the latest trends that every Testing and QA professional should keep up-to-date with given the advancements in digital technologies. * Master...
Format: Paperback - Released: 22/03/2017

Registered users have access to unique site features

Register now