European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE-Companion) Testing Protocols with Formal Languages
Conferences: European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE companion) Generating Test Inputs and Interactions with the Fandango Fuzzer: How to Test Complex Systems Automatically and Exhaustively
International Conference on Software Testing Verification and Validation (ICST) Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
Fuzzing with Fandango - Tutorial and Reference