Renzo Degiovanni

47 papers A* 7A 3B 1C 2Journal 24Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	How well LLM-based test generation techniques perform with newer LLM versions? CoRR Michael Konstantinou, Renzo Degiovanni, Mike Papadakis
2025	J	`jnl`	An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria. ACM Trans. Softw. Eng. Methodol. Luciano Zemín, Ariel Godio, César Cornejo, Renzo Degiovanni, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo Fabian Frias
2025	J	`jnl`	Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. CoRR Pablo F. Castro, Luciano Putruele, Renzo Degiovanni, Nazareno Aguirre
2025	J	`jnl`	Evaluating LLMs for One-Shot Patching of Real and Artificial Vulnerabilities. CoRR Aayush Garg, Zanis Ali Khan, Renzo Degiovanni, Qiang Tang
2025	—	`conf`	Mode-Based Reactive Synthesis. NFM Matías Brizzio, Felipe Gorostiaga, César Sánchez, Renzo Degiovanni
2025	A*	`conf`	Towards Reliable LLM-based Exam Generation Lessons Learned and Open Challenges in an Industrial Project. ASE Renzo Degiovanni, Jordi Cabot
2025	J	`jnl`	YATE: The Role of Test Repair in LLM-Based Unit Test Generation. CoRR Michael Konstantinou, Renzo Degiovanni, Jie M. Zhang, Mark Harman, Mike Papadakis
2024	J	`jnl`	Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
2024	J	`jnl`	Do LLMs generate test oracles that capture the actual or the expected program behaviour? CoRR Michael Konstantinou, Renzo Degiovanni, Mike Papadakis
2024	A	`conf`	On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset. ICST Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2024	A*	`conf`	SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. ICSE Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023	B	`conf`	ACoRe: Automated Goal-Conflict Resolution. FASE Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023	J	`jnl`	ACoRe: Automated Goal-Conflict Resolution. CoRR Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023	J	`jnl`	Assertion Inferring Mutants. CoRR Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
2023	A	`conf`	Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
2023	J	`jnl`	Cerebro: Static Subsuming Mutant Selection. IEEE Trans. Software Eng. Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon
2023	J	`jnl`	Efficient Mutation Testing via Pre-Trained Language Models. CoRR Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2023	A	`conf`	Enabling Efficient Assertion Inference. ISSRE Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
2023	J	`jnl`	Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution. ACM Trans. Softw. Eng. Methodol. Milos Ojdanic, Ezekiel O. Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2023	C	`conf`	On Comparing Mutation Testing Tools through Learning-based Mutant Selection. AST Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2023	J	`jnl`	Specification Inference for Evolving Systems. CoRR Renzo Degiovanni, Facundo Molina, Agustín Nolasco, Nazareno Aguirre, Mike Papadakis
2023	J	`jnl`	Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies. IEEE Trans. Software Eng. Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2023	J	`jnl`	Vulnerability Mimicking Mutants. CoRR Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2022	J	`jnl`	Learning from what we know: How to perform vulnerability prediction using noisy historical data. Empir. Softw. Eng. Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon
2022	—	`conf`	µBert: Mutation Testing using Pre-Trained Language Models. ICST Workshops Renzo Degiovanni, Mike Papadakis
2022	J	`jnl`	μBERT: Mutation Testing using Pre-Trained Language Models. CoRR Renzo Degiovanni, Mike Papadakis
2021	J	`jnl`	Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. CoRR Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre
2021	J	`jnl`	Cerebro: Static Subsuming Mutant Selection. CoRR Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon
2021	J	`jnl`	Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution. CoRR Milos Ojdanic, Ezekiel O. Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2021	J	`jnl`	Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies. CoRR Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2020	J	`jnl`	Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach. CoRR Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon
2019	J	`jnl`	An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2019	A*	`conf`	Training binary classifiers as data structure invariants. ICSE Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2018	A*	`conf`	A genetic algorithm for goal-conflict identification. ASE Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
2018	—	`conf`	From operational to declarative specifications using a genetic algorithm. SBST@ICSE Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2018	A*	`conf`	Goal-conflict likelihood assessment based on model counting. ICSE Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias
2018	J	`jnl`	Improving lazy abstraction for SCR specifications through constraint relaxation. Softw. Test. Verification Reliab. Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2017	—	`conf`	An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. SBST@ICSE Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2017	—	`conf`	CLTSA: labelled transition system analyser with counting fluent support. ESEC/SIGSOFT FSE Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
2016	—	`conf`	An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2016	A*	`conf`	Goal-conflict detection based on temporal satisfiability checking. ASE Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre
2015	—	`conf`	Specifying Event-Based Systems with a Counting Fluent Temporal Logic. ICSE (1) Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
2015	—	`—`	Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software Renzo Degiovanni
2014	A*	`conf`	Automated goal operationalisation based on interpolation and SAT solving. ICSE Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
2013	—	`conf`	Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. LAFM Gastón Scilingo, María Marta Novaira, Renzo Degiovanni
2013	C	`conf`	Analyzing formal requirements specifications using an off-the-shelf model checker. CLEI Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre
2011	—	`conf`	Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP@TOOLS Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias