Software testing and verification

Die Nikon D7100 verfugt uber einen enormen Funktionsumfang, der leicht verwirren kann.

This books helps you embark on the journey to master the art of Appium automation, from installation all the way to building a Plugin and Driver.

This books helps you embark on the journey to master the art of Appium automation, from installation all the way to building a Plugin and Driver.

The third edition of this trusted guide shows you how to apply test-driven development (TDD) to building real-world web applications with Python.

The third edition of this trusted guide shows you how to apply test-driven development (TDD) to building real-world web applications with Python.

This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD 2025, held in Munich, Germany, during May 20-22, 2025.

This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD 2025, held in Munich, Germany, during May 20-22, 2025.

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.

This introductory textbook on Java programming is different from others by its emphasis on test-driven development.

Unit testing is more than just a collection of tools and practicesit's a state of mind!

Get ready to code like a pro in Rust with insider techniques used by Rust veterans!

The authors of this book explore a way to build cloud-native microservice applications, based on years of practice.

The authors of this book explore a way to build cloud-native microservice applications, based on years of practice.

Optimize the performance of your systems with practical experiments used by engineers in the world's most competitive industries.

SummaryTesting Java Microservices teaches you to implement unit and integration tests for microservice systems running on the JVM.

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.

Chaos Engineering teaches you to design and execute controlled experiments that uncover hidden problems.

Haskell in Depth unlocks a new level of skill with this challenging language.

JUnit in Action, Third Edition has been completely rewritten for this release.

SummaryTesting Angular Applications is an example-rich, hands-on guide that gives you the real-world techniques you need to thoroughly test all parts of your Angular applications.

SummaryThe Art of Unit Testing, Second Edition guides you step by step from writing your first simple tests to developing robust test sets that are maintainable, readable, and trustworthy.

SummaryJava Testing with Spock teaches you how to use Spock for a wide range of testing use cases in Java.

SummaryWriting Great Specifications is an example-rich tutorial that teaches you how to write good Gherkin specification documents that take advantage of the benefits of specification by example.

Die effiziente Entwicklung neuer, differenzierender fachlicher Prozesse in heterogenen Systemlandschaften ist seit jeher eine der größten Herausforderungen für Unternehmen.

Prägnante und gut strukturierte Dokumente bieten eine hohe Lesbarkeit und einen schnellen Zugriff auf das darin enthaltene Wissen.

Dieses Buch behandelt alle Aspekte des funktionalen Sicherheitsmanagements und beschreibt die Anforderungen der ISO 26262 im Detail.

The ASQ Certified Software Quality Engineer Handbook, Third Edition contains information and guidance that supports all the topics within the 2023 version of the Certified Software Quality Engineer (CSQE) Body of Knowledge (BoK).

The ASQ Certified Software Quality Engineer Handbook, Third Edition contains information and guidance that supports all the topics within the 2023 version of the Certified Software Quality Engineer (CSQE) Body of Knowledge (BoK).

Das Standardwerk zu Automotive SPICE- umfassende Darstellung- inkl.

You were a happy coder, then the opportunity came to lead a team.

As the transformation to hybrid multicloud accelerates, businesses require a structured approach to securing their workloads.

Delve deep into the forefront of technological advancements shaping the future of supply chain safety and resilience.

To ensure that applications are reliable and always available, more businesses today are moving applications to AWS.

As the transformation to hybrid multicloud accelerates, businesses require a structured approach to securing their workloads.

With hundreds of tools preinstalled, the Kali Linux distribution makes it easier for security professionals to get started with security testing quickly.

To ensure that applications are reliable and always available, more businesses today are moving applications to AWS.

Know-how zur ISO-Norm 29119 aus erster Hand- Matthias Daigl ist Mitautor der Normenreihe 29119 und Editor von Teil 5- Leitfaden für alle, die ein modernes Software-Testkonzept erstellen wollen und dabei Wert auf Normen-Konformität legen- mit vielen Hintergrundinformationen sowie ausführlichen Fallstudien aus den unterschiedlichsten Anwendungsbereichen Die ISO/IEC/IEEE ISO 29119 beschreibt bewährte Praktiken für das Software und Systems Engineering – Software Testing.

Follow the quality engineering journey of the Creditcoin blockchain across four distinct implementation versions and a myriad of technologies.

Das Standardwerk zu Automotive SPICE- umfassende Darstellung- inkl.

In today's cloud native world, where we automate as much as possible, everything is code.

In today's cloud native world, where we automate as much as possible, everything is code.

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.

Software leaders, directors, and managers of all types need to know about software testing.

How do some organizations maintain 24-7 internet-scale operations?