Showing cs.SEShow all
2 papers · 1 filter
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…
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…