Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. - Renzo Degiovanni; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (TAP@TOOLS, 2011)

Analyzing formal requirements specifications using an off-the-shelf model checker. - Gastón Scilingo; María Marta Novaira; Renzo Degiovanni; Nazareno Aguirre (CLEI, 2013)

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. - Gastón Scilingo; María Marta Novaira; Renzo Degiovanni (LAFM, 2013)

Automated goal operationalisation based on interpolation and SAT solving. - Renzo Degiovanni; Dalal Alrajeh; Nazareno Aguirre; Sebastián Uchitel (ICSE, 2014)

Specifying Event-Based Systems with a Counting Fluent Temporal Logic. - Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre (ICSE (1), 2015)

Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software - Renzo Degiovanni (2015)

Goal-conflict detection based on temporal satisfiability checking. - Renzo Degiovanni; Nicolás Ricci; Dalal Alrajeh; Pablo F. Castro; Nazareno Aguirre (ASE, 2016)

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. - Facundo Molina; César Cornejo; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (SBMF, 2016)

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. - Luciano Zemín; Simón Gutiérrez Brida; Ariel Godio; César Cornejo; Renzo Degiovanni; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2017)

CLTSA: labelled transition system analyser with counting fluent support. - Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre (ESEC/SIGSOFT FSE, 2017)

Goal-conflict likelihood assessment based on model counting. - Renzo Degiovanni; Pablo F. Castro; Marcelo Arroyo; Marcelo Ruiz; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2018)

From operational to declarative specifications using a genetic algorithm. - Facundo Molina; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)

A genetic algorithm for goal-conflict identification. - Renzo Degiovanni; Facundo Molina; Germán Regis; Nazareno Aguirre (ASE, 2018)

Improving lazy abstraction for SCR specifications through constraint relaxation. - Renzo Degiovanni; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (Softw. Test. Verification Reliab., 2018)

Training binary classifiers as data structure invariants. - Facundo Molina; Renzo Degiovanni; Pablo Ponzio; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2019)

An evolutionary approach to translating operational specifications into declarative specifications. - Facundo Molina; César Cornejo; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (Sci. Comput. Program., 2019)

Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach. - Aayush Garg; Renzo Degiovanni; Matthieu Jimenez; Maxime Cordy; Mike Papadakis; Yves Le Traon (CoRR, 2020)

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. - Matías Brizzio; Renzo Degiovanni; Maxime Cordy; Mike Papadakis; Nazareno Aguirre (CoRR, 2021)

Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies. - Milos Ojdanic; Aayush Garg; Ahmed Khanfir; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (CoRR, 2021)

µBert: Mutation Testing using Pre-Trained Language Models. - Renzo Degiovanni; Mike Papadakis (ICST Workshops, 2022)

Learning from what we know: How to perform vulnerability prediction using noisy historical data. - Aayush Garg; Renzo Degiovanni; Matthieu Jimenez; Maxime Cordy; Mike Papadakis; Yves Le Traon (Empir. Softw. Eng., 2022)

On Comparing Mutation Testing Tools through Learning-based Mutant Selection. - Milos Ojdanic; Ahmed Khanfir; Aayush Garg; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (AST, 2023)

ACoRe: Automated Goal-Conflict Resolution. - Luiz Carvalho; Renzo Degiovanni; Matías Brizzio; Maxime Cordy; Nazareno Aguirre; Yves Le Traon; Mike Papadakis (FASE, 2023)

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. - Matías Brizzio; Maxime Cordy; Mike Papadakis; César Sánchez 001; Nazareno Aguirre; Renzo Degiovanni (GECCO, 2023)

Enabling Efficient Assertion Inference. - Aayush Garg; Renzo Degiovanni; Facundo Molina; Maxime Cordy; Nazareno Aguirre; Mike Papadakis; Yves Le Traon (ISSRE, 2023)

Efficient Mutation Testing via Pre-Trained Language Models. - Ahmed Khanfir; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (CoRR, 2023)

Assertion Inferring Mutants. - Aayush Garg; Renzo Degiovanni; Facundo Molina; Mike Papadakis; Nazareno Aguirre; Maxime Cordy; Yves Le Traon (CoRR, 2023)

Specification Inference for Evolving Systems. - Renzo Degiovanni; Facundo Molina; Agustín Nolasco; Nazareno Aguirre; Mike Papadakis (CoRR, 2023)

Vulnerability Mimicking Mutants. - Aayush Garg; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (CoRR, 2023)

Cerebro: Static Subsuming Mutant Selection. - Aayush Garg; Milos Ojdanic; Renzo Degiovanni; Thierry Titcheu Chekam; Mike Papadakis; Yves Le Traon (IEEE Trans. Software Eng., 2023)

Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution. - Milos Ojdanic; Ezekiel O. Soremekun; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2023)

Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies. - Milos Ojdanic; Aayush Garg; Ahmed Khanfir; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (IEEE Trans. Software Eng., 2023)

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. - Luiz Carvalho; Renzo Degiovanni; Maxime Cordy; Nazareno Aguirre; Yves Le Traon; Mike Papadakis (ICSE, 2024)

On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset. - Aayush Garg; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (ICST, 2024)

Do LLMs generate test oracles that capture the actual or the expected program behaviour? - Michael Konstantinou; Renzo Degiovanni; Mike Papadakis (CoRR, 2024)

Abstraction-Aware Inference of Metamorphic Relations. - Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias (Proc. ACM Softw. Eng., 2024)

Abstraction-Aware Inference of Metamorphic Relations (Replication Package). - Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias (Zenodo, 2024)

Mode-Based Reactive Synthesis. - Matías Brizzio; Felipe Gorostiaga; César Sánchez 001; Renzo Degiovanni (NFM, 2025)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. - Pablo F. Castro; Luciano Putruele; Renzo Degiovanni; Nazareno Aguirre (CoRR, 2025)

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria. - Luciano Zemín; Ariel Godio; César Cornejo; Renzo Degiovanni; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo Fabian Frias (ACM Trans. Softw. Eng. Methodol., 2025)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation. - Michael Konstantinou; Renzo Degiovanni; Jie M. Zhang; Mark Harman; Mike Papadakis (CoRR, 2025)