BIBTEX-
Jan Jürjens

---

@InProceedings{icfem02WJ,
       author = {G. Wimmel and J. {J}{\"{u}}{r}jens},
       title = {Specification-based Test Generation for Security-Critical
Systems Using Mutations},
       booktitle = {International Conference on Formal Engineering Methods
(ICFEM)},
       OPTcrossref = {},
       OPTkey = {},
       pages = {471--482},
       year = {2002},
       OPTeditor = {},
       volume = {2495},
       OPTnumber = {},
       series = lncs,
       address = {Shanghai, China},
       month = {Oct. 22-25},
       OPTorganization = {},
       publisher = sv,
       OPTnote = {To be published},
       OPTannote = {}
}

---

Jan Jürjens