Publications

(2025). Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection. Proceedings of the 34th ACM/SIGSOFT International Symposium on Software Testing and Analysis.
(2025). Can LLM Generate Regression Tests for Software Commits?. arXiv preprint arXiv:2501.11086.
(2024). Llm4fuzz: Guided fuzzing of smart contracts with large language models. arXiv preprint arXiv:2401.11108.