@INPROCEEDINGS{WimmelJ02, author = {Guido Wimmel and Jan Jurjens}, title = {Specification-Based Test Generation for Security-Critical Systems Using Mutations}, booktitle = {Proceedings of the 4th International Conference on Formal Engineering Methods (ICFEM'02)}, year = {2002}, address = {Shanghai, China}, month = {21-25 October}, pages = {471 - 482} }