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

Guido Wimmel Jan Jürjens

Published in: ICFEM (2002)

Keyphrases

test generation
design automation
security systems
building blocks
information security
information systems
high level
formal specification
biometric systems