Search filters

List of works by Leonardo Mariani

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems

scientific article published in September 2008

Adaptive Runtime Verification for Autonomic Communication Infrastructures

Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot

scientific article published on 13 June 2024

Assessing AI-Based Code Assistants in Method Generation Tasks

scientific article published on 23 May 2024

FITE

scientific article published on 7 November 2010

From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps

scientific article published on 13 December 2018

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants

scientific article published on 13 June 2024

MutaBot: A Mutation Testing Approach for Chatbots

scientific article published on 23 May 2024

PINCETTE - Validating Changes and Upgrades in Networked Software

scientific article published in March 2013

Self-Test Components for Highly Reconfigurable Systems

scientific article published in September 2003

Towards Model-Driven Dashboard Generation for Systems-of-Systems

scientific article published on 06 August 2024

Towards Testing and Analysis of Systems that Use Serialization

scientific article published in January 2005

Paulina is supported by:

About Paulina

Help