Dagstuhl Research Meeting — Demands of Programming-Language Agnostic Test Case Reduction

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.