Topic T5C: Testing

Summary

• Requested in 21/26 calls
• Requested in 17/19 pure calls (2008–2026 with the longest streak of 11 years)
• Primary tagged in 10/26 paper bundles
• Primary tagged in 9/19 pure proceedings (2011–2025 with the longest streak of 4 years)
• Secondary tagged in 7/26 paper bundles
• Secondary tagged in 5/19 pure proceedings (2008–2025 with the longest streak of 1 years)
• Top 3 co-occurring topics:
  • T4A: Workbenches (10 times)
  • T5E: Empirical Evaluation (5 times)
  • T3C: DSLs (4 times)
• Top 3 contributors:
  • Bernd Fischer (3 times)
  • Ralf Lämmel (2 times)
  • Vadim Zaytsev (2 times)

List of papers (20)

• (SLE 2008) A Case Study in Grammar Engineering (Tiago L. Alves, Joost Visser) T6A T2B T5C
• (SLE 2011) Comparison of Context-Free Grammars Based on Parsing Generated Test Data (Bernd Fischer, Ralf Lämmel, Vadim Zaytsev) T5C T5B T5E
• (SLE 2012) Temporal Constraint Support for OCL (Bilal Kanso, Safouan Taha) T5D T5C T4A
• (SLE 2012 SI) Specification of temporal properties with OCL (Bilal Kanso, Safouan Taha) T5D T1C T4A T5C
• (SLE 2014) A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl) T5D T4A T1C T5C
• (SLE 2014) Test-Data Generation for Xtext (Johannes Härtel, Lukas Härtel, Ralf Lämmel) T5C T4A T3B T5B
• (SLE 2015) Example-Based Validation of Domain-Specific Visual Languages (Jesús J. López-Fernández, Esther Guerra, Juan de Lara) T5C T3C T4F T4A
• (SLE 2016) Redex: A Language for Lightweight Semantics Engineering (Robert Bruce Findler) T3A T1C T1B T5C
• (SLE 2016) Automated Testing Support for Reactive Domain-Specific Modelling Languages (Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe) T5C T3C T4D
• (SLE 2018) An Industrial Case Study in Compiler Testing (Vadim Zaytsev) T5C T4A T4C T6B
• (SLE 2022) Property-Based Testing: Climbing the Stairway to Verification (Zilin Chen, Christine Rizkallah, Liam O’Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller) T5C T5D T6D
• (SLE 2022) signatr: A Data-Driven Fuzzing Tool for R (Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, Jan Vítek) T5C T3D T4A
• (SLE 2022) From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages (Faezeh Khorram, Erwan Bousse, Antonio Garmendía, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer) T5C T3C T4A
• (SLE 2023) Temporal Breakpoints for Multiverse Debugging (Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec) T5C T4D T5G
• (SLE 2024) Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript (Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, Shigeru Chiba) T5C T2B T4B T5E
• (SLE 2024 SI) A language-parametric test coverage framework for executable domain-specific languages (Faezeh Khorram, Erwan Bousse, Antonio Garmendía, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer) T5C T3C T4A T5E
• (SLE 2024 SI) Spectrum-based rule- and item-level localization of faults in context-free grammars (Moeketsi Raselimo, Bernd Fischer) T5B T5C T5E
• (SLE 2024 SI) Grammar-based test suite construction using coverage-directed algorithms over LR-graphs (Christoff Rossouw, Bernd Fischer) T5C T5B T5E
• (SLE 2025) Property-based Testing of Attribute Grammars (José Nuno Macedo, Marcos Viera, João Saraiva) T5C T3A T4A
• (SLE 2025) Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages (Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen) T4D T5C T1C

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.