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 (POF II, 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
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page