 Extending AALpy with Passive Learning: A Generalized State-Merging ApproachInternational Conference on Computer Aided Verification (CAV), 2025 |
 Fuzzers for stateful systems: Survey and Research DirectionsACM Computing Surveys (ACM Comput. Surv.), 2023 |
