Filter
Programvarutestning & verifiering
Filter
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on …
This book is aimed at everyone preparing for the ISTQB(R) Certified Tester - Foundation Level exam based on the Foundation Level syllabus (version 4.0) published in 2023. It …
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an …
This book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memorizing the concepts. …
Often, software engineers and architects work with large, complex code bases that they need to scale and maintain. With this cookbook, author Maximiliano Contieri takes you beyond …
This book will help you analyze traces and logs from different software environments and communicate analysis results using a pattern language that covers everything from a small …
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, …
Optimize the performance of your systems with practical experiments used by engineers in the world's most competitive industries.In Experimentation for Engineers: From A/B testing …
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and …
Get started and hit the ground running in the world of software testing. This simple and practical guide teaches you the fundamentals of software testing, with no prior experience …