KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1145/2642937.2642987
Scopus
Zitationen: 39

Automating Regression Verification

Felsing, Dennis; Grebing, Sarah; Klebanov, Vladimir; Rümmer, Philipp; Ulbrich, Mattias



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-1-4503-3013-8
KITopen ID: 1000052943
HGF-Programm 46.12.03; LK 01
Erschienen in ASE '14 : proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering : September 15-19, 2014, Västerås, Sweden
Verlag ACM, New York (NY)
Seiten 349-359
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Bemerkung zur Veröffentlichung To appear
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page