Hinweis: Zur Teilnahme am Ernst Denert Preis ist eine Registrierung zur SE-Hauptkonferenz erforderlich: https://se2024.se.jku.at/registrierung/
Mittwoch, 28.2.
11:00 – 12:30, Loft C
– – –
Dominik Helm: Modular Collaborative Program Analysis
Sören Henning : Scalability Benchmarking of Cloud-Native Applications Applied to Event-Driven Microservices
Tobias Hey: Automatische Wiederherstellung von Nachverfolgbarkeit zwischen Anforderungen und Quelltext
– – –
14:00 – 15:30, Loft C
Stefan Höppner: Empirical Assessment of Advantages and Disadvantages of Model Transformation Languages
Thomas Lemberger: Towards Cooperative Software Verification with Test Generation and Formal Verification
Muhammad Numair Mansur: Automatically Detecting and Mitigating Issues in Program Analyzers
– – –
16:00 – 17:30, Loft C
Malte Mues: The integration of Multi-Color Taint-Analysis with Dynamic Symbolic Execution for Java Web Application Security Analysis
Felix Pauck: Cooperative Android App Analysis