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

Cached

Download Links

by Guido Wimmel , Jan Jürjens
Citations:13 - 3 self