5 papers
Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
I. S. W. B. Prasetya, Fitsum Kifetew, Davide Prandi
Formal specifications, such as pre- and post-conditions provide a solid basis for performing thorough program verification. However, developers rarely provide such formal specifica…
SBFT Tool Competition 2025 -- Java Test Case Generation Track
Fitsum Kifetew, Lin Yun, Davide Prandi
This short report presents the 2025 edition of the Java Unit Testing Competition in which four test generation tools (EVOFUZZ, EVOSUITE, BBC, and RANDOOP) were benchmarked on a fre…
Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing
Raihana Ferdous, Fitsum Kifetew, Davide Prandi +1
Recently testing of games via autonomous agents has shown great promise in tackling challenges faced by the game industry, which mainly relied on either manual testing or record/re…
AugmenTest: Enhancing Tests with LLM-Driven Oracles
Shaker Mahmud Khandaker, Fitsum Kifetew, Davide Prandi +1
Automated test generation is crucial for ensuring the reliability and robustness of software applications while at the same time reducing the effort needed. While significant progr…
On the Energy Consumption of Test Generation
Fitsum Kifetew, Davide Prandi, Angelo Susi
Research in the area of automated test generation has seen remarkable progress in recent years, resulting in several approaches and tools for effective and efficient generation of…