KIT | KIT-Bibliothek | Impressum

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)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator DOI: 10.1145/2642937.2642987
ISBN: 978-1-4503-3013-8
KITopen ID: 1000052943
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
Bemerkung zur Veröffentlichung To appear
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page