
Research tool · 2024 – 2026
AugmenTest
ProblemAutomatically generated unit tests usually assert whatever the code does today, so they cannot tell a bug from intended behaviour: the test oracle problem.
Generates test assertions with large language models from a method's documentation and comments, without reading its implementation. Evaluated at ICST 2025 against TOGA and released as a tool in Science of Computer Programming.
- Role
- First author, with Fitsum Kifetew, Davide Prandi and Angelo Susi at FBK.
- Status
- Published (ICST 2025, SCP 2026)
- LLMs
- retrieval-augmented generation
- Java
- mutation testing
