Specification-Based Test Generation for Security-Critical Systems Using Mutations

In specification-based testing, test sequences are generated from an abstract system specification to provide confidence in the correctness of an implementation. For security-critical systems, finding tests likely to detect possible vulnerabilities is particularly difficult, as they usually involve...

Ausführliche Beschreibung