21 citations · 30 across the 7 of their papers we have counts for
8 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…
An Agent-based Approach to Automated Game Testing: an Experience Report
I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Kifetew +8
Computer games are very challenging to handle for traditional automated testing algorithms. In this paper we will look at intelligent agents as a solution. Agents are suitable for…
JUGE: An Infrastructure for Benchmarking Java Unit Test Generators
Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti +4
Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various language…
A Framework for In-Vivo Testing of Mobile Applications
Mariano Ceccato, Davide Corradini, Luca Gazzola +4
The ecosystem in which mobile applications run is highly heterogeneous and configurable. All layers upon which mobile apps are built offer wide possibilities of variations, from th…