Automated Software Testing

Not just for mathematicians and detectives! Learn the basics of logic and its many applications, including advanced testing, constraint solving, function composition, and code proofs. Over 50 exercises and 20 sample programs are included. No prior math background required!

You know C++ syntax. Now learn how to structure, build, test, and maintain a real C++ application.

This practical handbook provides a step-by-step guide for you to get the best continuous delivery pipeline for your software.

A practical handbook packed with real-world advice to help you write better code, adopt effective developer habits, and build great software.

Are you a VP or Head of Engineering considering the best quality engineering model for your company? Are you a director of Engineering tasked with rolling out a Quality Coach Model? Are you a test lead or software tester shifting to a quality coach role? The Quality Coach Handbook is your practical guide to shifting to a model where the whole team owns quality and in particular software engineers design, build, test and support software. Print version: Paperback and hardcover are available on Amazon. Use your country's Amazon site (e.g., Amazon.com.au for Australia) to minimise shipping time and cost.

Programming in the modern era requires power and efficiency, and C++23 signifies the beginning of that era. This book captures that demand. To take your C++ skills to the next level, This book is about creating and breaking down real-world examples. You'll discover techniques that you can immediately apply to your own work.

In this book, I have considered options with practical applications. This book also provides many examples of programming languages for further use in projects.

Load testing is usually neglected in software development due to many factors such as being expensive, late, and incapable (for dynamic websites). As a result, we often see big websites crash on load. This book will show an easy, affordable (free) and practical performance and load testing approach, I call it Continuous Performance/Load Testing.

Real-world advice for adding reliable tests to your Rails apps with the default tools (mostly), complete with expanded, exclusive content and a full sample application. Learn to test with confidence!

Your agent's dashboard is green. Your evaluators report an 87% pass rate. Then a customer complaint reveals the system has been confidently fabricating regulatory citations for three weeks. The evaluators weren't broken — they were measuring the wrong things. This field guide exists because the gap between "we have evals" and "our evals actually protect us" is larger than most teams realize.

In today’s fast-paced development world, writing reliable code is crucial. But with countless testing tools available, it’s easy to feel overwhelmed. That’s where the Java Testing Toolbox comes in - a practical, hands-on guide to the 30 most important testing tools and libraries every Java developer should know. Whether you’re new to testing or looking to expand your testing toolkit, this book provides right-sized introductions to each tool, giving you exactly what you need without the fluff.

Kalman Filters Made Easy is a clear, intuitive introduction to one of engineering’s most powerful tools for dealing with noisy, imperfect, real‑world data. Instead of drowning you in equations, this book builds deep understanding through real examples — from drifting GPS signals to unpredictable sensor timing — and shows how engineers combine noisy measurements and imperfect models to estimate what’s really happening. If you work with robotics, drones, autonomous systems, or sensor‑driven devices, this guide gives you the mental models you need to design reliable systems in an uncertain world. This reflects the book’s core message: “The world gives us noisy, imperfect measurements. We want clean, reliable, accurate information. The filter is the bridge between the two.”

The bugs live in the data. From your first SELECT to migration testing, NoSQL, and GDPR-compliant masking — with exercises all the way.

Every test you have ever written assumed the same input gives the same output. Large language models broke that assumption, and with it most of what our profession knows about verification. This is the discipline that replaces it — golden datasets, property assertions, LLM judges you can actually trust, retrieval evaluation, adversarial suites, and CI gates that let a pipeline say no to a model.