3 papers
cs.SE2026
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…
cs.SE2025
Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
Kuangxiangzi Liu, Dhiman Chakraborty, Alexander Liggesmeyer +1
Safety- and security-critical systems have to be thoroughly tested against their specifications. The state of practice is to have _natural language_ specifications, from which test…
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…