Davide Molinelli

According to our database, Davide Molinelli authored at least 5 papers between 1996 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles.

Davide Molinelli, Alberto Martin-Lopez, Elliott Zackrone, Beyza Eken, Michael D. Ernst, Mauro Pezzè

Proc. ACM Softw. Eng., 2025

Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset.

Davide Molinelli, Luca Di Grazia, Alberto Martin-Lopez, Michael D. Ernst, Mauro Pezzè

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2021

Health of smart ecosystems.

Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Voice-Based Virtual Assistants for User Interaction Modeling.

Marco Brambilla, Davide Molinelli

Proceedings of the Web Engineering - 21st International Conference, 2021

1996

Motion and color-based video indexing and retrieval.

Edoardo Ardizzone, Marco La Cascia, Davide Molinelli

Proceedings of the 13th International Conference on Pattern Recognition, 1996