 Empc: Effective Path Prioritization for Symbolic Execution with Path CoverIEEE Symposium on Security and Privacy (S&P), 2025 |
 A Survey of Protocol FuzzingACM Computing Surveys (ACM CSUR), 2024 |
 State Selection Algorithms and Their Impact on The Performance of
Stateful Network Protocol FuzzingIEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2021 |
