Search-Based Generation of Complex Inputs with FANDANGO
Generating complex, semantically valid test inputs remains a central challenge in search-based software testing. FANDANGO addresses this challenge by combining context-free grammars with fully specified Python constraints and using evolutionary search to satisfy them. Compared with the symbolic state of the art, FANDANGO achieves speedups of up to three orders of magnitude while maintaining 100% input validity and equal or higher grammar coverage. FANDANGO is under active development: recent work explores whitebox fuzzing and stateful fuzzing through interaction grammars that model multi-turn protocol behavior. With more than 100,000 PyPI downloads, adoption in industry (including Volkswagen and Bosch), and coverage in the science press, FANDANGO has established itself as a practical input generator.
| Paper (ssbse2026-paper13.pdf) | 252KiB |
Mon 6 JulDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Research Session 1Research Papers / Hot-off-the-Press Track at MB 2.210 Chair(s): Wesley K.G. Assunção North Carolina State University | ||
11:00 20mResearch paper | A Simulation-Based Genetic Algorithm to Find Configuration Anomalies in UAV Software Research Papers | ||
11:20 20mResearch paper | Genetic Programming for Self-Adaptive Auto-Scaling of Microservices Research Papers Jia Li University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Shiva Nejati University of Ottawa Pre-print | ||
11:40 20mResearch paper | Prompt Optimization for LLM Code Generation via Reinforcement Learning Research Papers Ali Mohammadi Esfahani Carleton University, Nafiseh Kahani Carleton University, Samuel A. Ajila Department of Systems and Computer Engineering, Carleton University | ||
12:00 15mShort-paper | Search-Based Generation of Complex Inputs with FANDANGO Hot-off-the-Press Track José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Authorizer link File Attached | ||