KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification-based test case generation for information-flow properties

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



Originalveröffentlichung
DOI: 10.1145/3297280.3297500
Scopus
Zitationen: 1
Dimensions
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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 Association for Computing Machinery (ACM)
Seiten 2231-2238
Serie Proceedings of the ACM Symposium on Applied Computing ; Part F147772
Projektinformation KASTEL_SKI (BMBF, EU 6. RP, 16KIS0843)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page