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 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. …