Software testing & verification books

Accelerate Your Pursuit of Software Excellence by Learning from Others' Hard-Won Experience ""Karl is one of...  Read More >>

ARE YOU LOOKING FOR A COMPLETE GUIDE PYTHON? THEN KEEP READING... Programming has come a long way. The world of...  Read More >>

Turn the corner from “Haskell student” to “Haskell developer.” Haskell in Depth explores the important language...  Read More >>

"The ""Black Magic Probe"" is a debug probe for ARM Cortex micro-controllers, supporting SWD and JTAG. What sets...  Read More >>

 Read More >>

 Read More >>

This comprehensive guide covers test automation in-depth for medium- to large-scale implementations, from the benefits...  Read More >>

The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis,...  Read More >>

With this in-depth book, current and aspiring engineers will learn powerful, real-world best practices for managing...  Read More >>

 Read More >>

The prediction of software reliability has a great relevance and importance in everything that we use from a mobile...  Read More >>

Are you fascinated by the idea of Hacking? Wouldn't you learn the secrets of ethical hackers? Wouldn't you...  Read More >>

Are you fascinated by the idea of Hacking? Wouldn't you learn the secrets of ethical hackers? Wouldn't you...  Read More >>

Explore Google's open source web automation library Puppeteer to perform tasks such as end-to-end testing, performance...  Read More >>

This book covers both theory and applications in the automation of software testing tools and techniques for various...  Read More >>

 Read More >>

Cypress is a JavaScript testing framework that does not require additional dependency to perform end-to-end testing,...  Read More >>

Software testing and quality assurance are critical tasks in quality control of software products and application...  Read More >>

Analytical instrumentation used within regulated analytical laboratories is computerized either via firmware inside...  Read More >>

It doesn't matter if you are starting your journey in QAT, or you are at the midpoint of your career, or even if...  Read More >>

This book provides programmers with the ability to cost effectively handlecommon legacy code problems without having...  Read More >>

Anybody who is looking to understand, research and implement software testing can benefit from this book. It covers...  Read More >>

 Read More >>

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition...  Read More >>

Each chapter or module of this book includes a unique pattern of creating understanding of the content followed...  Read More >>