Research Meeting 24259
Demands of Programming-Language Agnostic Test Case Reduction
( Jun 16 – Jun 28, 2024 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/24259
Organizer
- Michael Philippsen (Universität Erlangen-Nürnberg, DE)
Contact
- Heike Clemens (for administrative matters)
Impacts
- Register Expansion and SemaCall : 2 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM : article in CheckMATE '24: Proceedings of the 2024 Workshop on Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks - Schwarzbeck, David; Novac, Daniela; Philippsen, Michael - New York : ACM, 2024. - Pages 1 - 10.
- Multilayer Multipurpose Caches for OpenMP Target Regions on FPGAs : Conference paper in Advancing OpenMP for Future Accelerators, (IWOMP 2024) - Brandner, Julian; Mayer, Florian; Philippsen, Michael - Berlin : Springer, 2024. - pp 79–93 - (Lecture notes in computer science ; 15195 : article).
- The Impact of List Reduction for Language Agnostic Test Case Reducers : article in 2025 IEEE Conference on Software Testing, Verification and Validation (ICST) - Heineken, Tobias; Philippsen, Michael - Los Alamitos : IEEE, 2025. - pp. 25-35.
It is common practice to test compilers with fuzzers that generate test programs. There have been recent advantages in language agnostic general fuzzers that can be configured with the semantics of the programming languages for which they then generate codes. Compiler writers also face submissions of codes that causes bugs during compilation. To track down the root cause of the bug in the compiler it is crucial to reduce such programs to the small core that triggers the bug. It is common practice to use programming language specific reducers to boil down bugs to their cores. Little work has been done on the challenges of language agnostic program reduction - this is the focus of this research stay.
Creative Commons BY 4.0
Michael Philippsen
