Challenging Formal Specifications by Mutation: a CSP security example.

Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack

Browse the full APSEC paper archive.