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

Guido Wimmel, Jan Jrjens

Browse the full ICFEM paper archive.