2 papers
cs.SE2025
High-Performance Generation of Constrained Inputs
Addison Crump, Alexi Turcotte, José Antonio Zamudio Amaya +1
Language-based testing combines context-free grammar definitions with semantic constraints over grammar elements to generate test inputs. By pairing context-free grammars with cons…
cs.SE2025
Language-Based Protocol Testing
Alexander Liggesmeyer, José Antonio Zamudio Amaya, Andreas Zeller
Over the past decade, the automated generation of test inputs has made significant advances. Modern fuzzers and test generators easily produce complex input formats that do systema…