Publications

Papers I’ve co-authored across systems security, fuzzing, and software engineering. Most are available online. (List might be stale; check Scholar)

• Feature-Focused Test Generation30 July 2026
  Our paper “Feature-Focused Test Generation” was accepted at ASE 2026! (with Gaetano Sapia, Alexi Turcotte, David Benavides, Marcel Böhme, and Andreas Zeller) If you test complex programs and do specification-based… Read more: Feature-Focused Test Generation
• FANDANGO: Evolving Language-Based Testing — ISSTA 202522 June 2025
  Our paper “FANDANGO: Evolving Language-Based Testing” was published in the Proceedings of the ACM on Software Engineering at ISSTA 2025, co-authored with Marius Smytzek and Andreas Zeller. This is the… Read more: FANDANGO: Evolving Language-Based Testing — ISSTA 2025
• Personalized Fuzzing: Testing a GNSS Module with Fandango — ISSTA 202511 June 2025
  Our paper “Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module” was published at the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA… Read more: Personalized Fuzzing: Testing a GNSS Module with Fandango — ISSTA 2025
• XAVIER: Grammar-Based Testing for XML Injection Attacks — ISSTA 202511 June 2025
  Our paper “XAVIER: Grammar-Based Testing for XML Injection Attacks” was published at the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025), co-authored with Paul Kalbitzer and… Read more: XAVIER: Grammar-Based Testing for XML Injection Attacks — ISSTA 2025
• Finding the Minimum k-Weighted Dominating Set — MATCOM 202412 September 2024
  Our paper “Finding the Minimum k-Weighted Dominating Sets Using Heuristic Algorithms” was published in Mathematics and Computers in Simulation (MATCOM), a journal by Elsevier focused on mathematical modeling and computational… Read more: Finding the Minimum k-Weighted Dominating Set — MATCOM 2024
• Shaping Test Inputs in Grammar-Based Fuzzing — ISSTA 202411 September 2024
  My paper “Shaping Test Inputs in Grammar-Based Fuzzing” was published at the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024), one of the top venues for… Read more: Shaping Test Inputs in Grammar-Based Fuzzing — ISSTA 2024
• Feature Model Analysis in Constraint-Based Recommender Systems — SPLC 202311 June 2023
  I’m happy to share that our paper “Analysis Operations on the Run: Feature Model Analysis in Constraint-Based Recommender Systems” was accepted at the 27th ACM International Systems and Software Product… Read more: Feature Model Analysis in Constraint-Based Recommender Systems — SPLC 2023