Specification-Based Test Generation for Security-Critical Systems Using Mutations," presented at (2002)

by G Wimmel, J Jürjens
Venue:the 4th International Conference on Formal Engineering Methods