Defect Detection for Executable Specifications: An Experiment

Erstveröffentlichung
2002Autoren
Houdek, Frank
Schwinn, Thilo
Ernst, Dietmar
Wissenschaftlicher Artikel
Erschienen in
International Journal of Software Engineering and Knowledge Engineering ; 12 (2002), 6. - S. 637-655. - ISSN 0218-1940. - eISSN 1793-6403
Link zur Veröffentlichung
https://dx.doi.org/10.1142/S0218194002001128Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutionen
Institut für Programmiermethodik und CompilerbauExterne Kooperationen
Daimler AGDaimler AG