1. Automating the correctness assessment of AI-generated code for security contexts;Journal of Systems and Software;2024-10
2. Sparse Symbolic Loop Execution (Registered Report);Proceedings of the 3rd ACM International Fuzzing Workshop;2024-09-13
3. Better Not Together: Staged Solving for Context-Free Language Reachability;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
4. Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
5. Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11