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 already know C++. Now learn how real C++ software is actually built.Follow one complete application from architecture and CMake to implementation, testing, Git, CI, Docker, and Qt.

An agent's answer can look right while its actions are wrong. Learn to evaluate tasks, traces, tool calls and changed state with reproducible harnesses, tested graders and regression gates.

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

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

ספר הדרכה מעשי מלא בעצות מהשטח שיעזור לך לכתוב קוד טוב יותר, לאמץ הרגלי פיתוח יעילים, ולבנות תוכנה מעולה.

Go from “AI as a copilot” to a team of AI testing agents that analyze, design, run, triage and review tests, with a human test lead making the decisions. Hands-on, in TypeScript, and vendor-agnostic: Claude, GPT, Gemini or a local model, with tools shared through MCP.

Build testing agents that observe, reason, act, and evaluate on their own — with the guardrails that keep autonomy from becoming chaos.

Make desktop automation practical, reliable, and cross-platform. Discover how to automate real-world applications, record interactions, and build maintainable GUI tests with Python.

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.

Integration tests whose requests and the server's work are one OpenTelemetry trace, in one JVM, with no collector or backend, recorded as a model you can query.

Browser tests that leave a picture book and a trace: Playwright from Java, with each step a span, the server's work under it, and screenshots recorded in the step.

AI agents can write code, pass tests, and still leave you with a broken product. Agentic Engineering: The Scar Table explores the real failures, hard-earned lessons, and engineering principles behind building reliable software with AI agents. Learn how to move beyond code generation toward systems you can verify, trust, and maintain.