Defect Detection for Executable Specifications: An Experiment

Erstveröffentlichung
2002Authors
Houdek, Frank
Schwinn, Thilo
Ernst, Dietmar
Wissenschaftlicher Artikel
Published in
International Journal of Software Engineering and Knowledge Engineering ; 12 (2002), 6. - S. 637-655. - ISSN 0218-1940. - eISSN 1793-6403
Link to publication
https://dx.doi.org/10.1142/S0218194002001128Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauExternal cooperations
Daimler AGDaimler AG