Davide Prandi - RankMe

37 papers A* 1A 4B 3C 1Journal 15Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization. CoRR I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Davide Prandi
2025	A	`conf`	AugmenTest: Enhancing Tests with LLM-Driven Oracles. ICST Shaker Mahmud Khandaker, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2025	J	`jnl`	AugmenTest: Enhancing Tests with LLM-Driven Oracles. CoRR Shaker Khandaker, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2025	—	`conf`	Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing. ICSTW Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2025	J	`jnl`	Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing. CoRR Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2025	A	`conf`	Evolv-1 at the ICST 2025 Tool Competition - UAV Testing Track. ICST Pietro Lechthaler, Davide Prandi, Fitsum Meshesha Kifetew, Angelo Susi
2025	A	`conf`	On the Energy Consumption of Test Generation. ICST Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2025	J	`jnl`	On the Energy Consumption of Test Generation. CoRR Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2025	J	`jnl`	SBFT Tool Competition 2025 - Java Test Case Generation Track. CoRR Fitsum Meshesha Kifetew, Lin Yun, Davide Prandi
2025	J	`jnl`	Towards a comprehensive framework for automated testing of user experience. Qual. User Exp. Marta Couto, Rui Prada, Pedro M. Fernandes, Manuel Lopes, Davide Prandi, I. S. Wishnu B. Prasetya, Saba Gholizadeh Ansari
2024	—	`conf`	Model-Based Testing of Railway Interlocking Systems. ISoLA (5) Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli
2024	J	`jnl`	PX-MBT: A framework for model-based player experience testing. Sci. Comput. Program. Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum
2023	—	`conf`	EvoMBT at the SBFT 2023 Tool Competition. SBFT Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2023	J	`jnl`	EvoMBT: Evolutionary model based testing. Sci. Comput. Program. Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2023	B	`conf`	Model-based Player Experience Testing with Emotion Pattern Verification. FASE Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller
2022	J	`jnl`	An Agent-based Approach to Automated Game Testing: an Experience Report. CoRR I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew, Davide Prandi, Samira Shirzadehhajimahmood, Tanja E. J. Vos, Premysl Paska, Karel Hovorka, Raihana Ferdous, Angelo Susi, Joseph Davidson
2022	—	`conf`	An agent-based approach to automated game testing: an experience report. A-TEST@ESEC/SIGSOFT FSE I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew, Davide Prandi, Samira Shirzadehhajimahmood, Tanja E. J. Vos, Premysl Paska, Karel Hovorka, Raihana Ferdous, Angelo Susi, Joseph Davidson
2022	—	`conf`	EvoMBT at the SBST 2022 Tool Competition. SBST@ICSE Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2022	A*	`conf`	Towards Agent-Based Testing of 3D Games using Reinforcement Learning. ASE Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
2021	B	`conf`	Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. SSBSE Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Angelo Susi
2019	J	`jnl`	TPES: tumor purity estimation from SNVs. Bioinform. Alessio Locallo, Davide Prandi, Tarcisio Fedrizzi, Francesca Demichelis
2012	J	`jnl`	The Relevance of Topology in Parallel Simulation of Biological Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Tommaso Mazza, Paolo Ballarini, Rosita Guido, Davide Prandi
2011	—	`conf`	Purpose Control: Did You Process the Data for the Intended Purpose? Secure Data Management Milan Petkovic, Davide Prandi, Nicola Zannone
2011	—	`conf`	Stability analysis of biological network topologies during stochastic simulation. SimuTools Tommaso Mazza, Davide Prandi
2010	J	`jnl`	GPU computing for systems biology. Briefings Bioinform. Lorenzo Dematté, Davide Prandi
2009	—	`conf`	Efficient Parallel Statistical Model Checking of Biochemical Networks PDMC Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi
2009	—	`conf`	Exploiting non-Markovian Bio-Processes. QAPL Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel
2009	—	`conf`	Process Calculi Abstractions for Biology. Algorithmic Bioprocesses Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
2009	J	`jnl`	Taming the complexity of biological pathways through parallel computing. Briefings Bioinform. Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi
2008	J	`jnl`	Communicating by compatibility. J. Log. Algebraic Methods Program. Davide Prandi, Corrado Priami, Paola Quaglia
2008	C	`conf`	Formal Analysis of BPMN Via a Translation into COWS. COORDINATION Davide Prandi, Paola Quaglia, Nicola Zannone
2007	A	`conf`	Stochastic COWS. ICSOC Davide Prandi, Paola Quaglia
2006	—	`conf`	A Formal Approach to Molecular Docking. CMSB Davide Prandi
2006	—	`conf`	Beta-binders for Biological Quantitative Experiments. QAPL Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
2006	B	`conf`	Developing An Hierarchical Simulator for Beta-binders. PADS Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher
2005	—	`conf`	Formal Executable Descriptions of Biological Systems. QEST Michele Curti, Davide Prandi, Linda Brodo
2005	J	`jnl`	Process Calculi in a Biological Context. Bull. EATCS Davide Prandi, Corrado Priami, Paola Quaglia