117 citations
- Université de RennesFR10 papers
- KTH Royal Institute of TechnologySE8 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR7 papers
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Centre Inria de l'Université de RennesFR5 papers
- SPIRALS: Self-adaptation for distributed services and large software systemsFR5 papers
- Centre Inria de l'Université de LilleFR4 papers
- Université de LilleFR4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Institut National des Sciences Appliquées de RennesFR3 papers
- Delft University of TechnologyNL2 papers
- Institut Universitaire de FranceFR2 papers
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Imperfect Visual Verification for Code Edition : A Case Study on TikZ
Charly Reux, Mathieu Acher, Djamel Eddine Khelladi +2
LLMs have significantly advanced code generation, enabling the synthesis of functional programs. While recent systems achieve strong performance on many coding benchmarks, tasks in…
cs.SE2026
Small Yet Configurable: Unveiling Null Variability in Software
Xhevahire Tërnava, Georges Aaron Randrianaina, Luc Lesoil +1
Many small-scale software systems, that is, with limited codebase or binary size, are widely used in everyday tasks, yet their configurability remains largely unexplored. At the sa…