2 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…