Software testing and verification Books

This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineering (CBSE). Component-Based Software Engineering: Methods and Metrics enhances...

This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineering (CBSE). Component-Based Software Engineering: Methods and Metrics enhances...

Solid requirements engineering has increasingly been recognized as the key to improved, on-time, and on-budget delivery of software and systems projects. New software tools are emerging that are...

This book presents the analysis, design, documentation, and quality of software solutions based on the OMG UML v2.5. Notably it covers 14 different modelling constructs including use case diagrams,...

Secure and Resilient Software: Requirements, Test Cases, and Testing Methods provides a comprehensive set of requirements for secure and resilient software development and operation. It supplies...

Test-driven data analysis is the synthesis of ideas from test-driven development of software to data-intensive work including data science, data analysis, and data engineering. It is a methodology...

Test-driven data analysis is the synthesis of ideas from test-driven development of software to data-intensive work including data science, data analysis, and data engineering. It is a methodology...

Welcome to the fifth volume of Game Audio Programming: Principles and Practices – the first series of its kind dedicated to the art, science, and craft of game audio programming. In this volume, some...

Welcome to the fifth volume of Game Audio Programming: Principles and Practices – the first series of its kind dedicated to the art, science, and craft of game audio programming. In this volume, some...

Validation of computer systems is the process that assures the formal assessment and report of quality and performance measures for all the life-cycle stages of software and system development, its...

Blockchain is no longer just about bitcoin or cryptocurrencies in general. Instead, it can be seen as a disruptive, revolutionary technology which will have major impacts on multiple aspects of our...

Outstanding User Interfaces with Shiny provides the reader with necessary knowledge to develop beautiful and highly interactive user interfaces. It gives the minimum requirements in HTML/JavaScript...

Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems:...

This book is written for the test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define...