KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification-based test case generation for information-flow properties

Herda, M.; Müssig, J.; Tyszberowicz, S.; Beckert, B.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2019
Sprache Englisch
Identifikator ISBN: 978-1-4503-5933-7
KITopen-ID: 1000095791
Erschienen in 34th Annual ACM Symposium on Applied Computing, SAC 2019; Limassol; Cyprus; 8 April 2019 through 12 April 2019
Verlag ACM New York (NY)
Seiten 2231-2238
Serie Proceedings of the ACM Symposium on Applied Computing ; Part F147772
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page