Filter
Programvarutestning & verifiering
Filter
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 constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, …
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 …