Specification-based Test Generation for Security-Critical Systems Using Mutations
Chris George; Huaikou Miao (Hrsg). Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21. - 25., 2002 Proceedings. Berlin: Springer 2002 S. 471 - 482
Erscheinungsjahr: 2002
ISBN/ISSN: 978-3-540-00029-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-36103-0_48
Geprüft | Bibliothek |