Verification-based test case generation for information-flow properties
Herda, M. 1; Müssig, J. 1; Tyszberowicz, S.; Beckert, B.
1
1 Karlsruher Institut für Technologie (KIT)
11 Karlsruher Institut für Technologie (KIT)
| 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 (BMFTR, 16KIS0843) |
| Nachgewiesen in | Dimensions Scopus OpenAlex |
| Globale Ziele für nachhaltige Entwicklung |