Parametric Falsification of Many Probabilistic Requirements under Flakiness
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 26.04.2025 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000181920 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) |
| Veranstaltung | International Conference on Software Engineering (ICSE 2025), Ottawa, Kanada, 27.04.2025 – 03.05.2025 |
| Seiten | 178–190 |
| Nachgewiesen in | Dimensions OpenAlex Scopus |
| Globale Ziele für nachhaltige Entwicklung |