Annibale Panichella
Annibale Panichella
Home
News
Projects
Talks
Publications
Awards
Contact
Light
Dark
Automatic
1
The Future of Software Transparency: Bridging Understanding, Measurement, and Practice
Abstract Although the study of software transparency has deep roots in software engineering, a shared definition and practical application in real-world development contexts remain elusive. Through an in-depth analysis of the academic and industrial landscape, this article provides an overview of the current state of knowledge on software transparency, outlining a path to a deeper understanding of the subject for both developers and researchers.
Gregorio Dalia
,
Annibale Panichella
,
Andrea Di Sorbo
,
Gerardo Canfora
,
Corrado Visaggio
Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
Abstract The rising popularity of the microservice architectural style has led to a growing demand for automated testing approaches tailored to these systems. EvoMaster is a state-of-the-art tool that uses Evolutionary Algorithms (EAs) to automatically generate test cases for microservices’ REST APIs.
Clinton Cao
,
Annibale Panichella
,
Sicco Verwer
Preprint
Metamorphic-Based Many-Objective Distillation of LLMs for Code-related Tasks
Knowledge distillation compresses large language models (LLMs) into more compact and efficient versions that achieve similar accuracy …
Annibale Panichella
Preprint
DRVN at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Abstract DRVN is a regression testing tool that aims to diversify the test scenarios (road maps) to execute for testing and validating self-driving cars. DRVN harnesses the power of convolutional neural networks to identify possible failing roads in a set of generated examples before applying a greedy algorithm that selects and prioritizes the most diverse roads during regression testing.
Antony Bartlett
,
Cynthia Liem
,
Annibale Panichella
Preprint
Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm
Abstract Byzantine fault tolerant algorithms are critical for achieving consistency and reliability in distributed systems, especially in the presence of faults or adversarial behavior. The consensus algorithm used by the XRP Ledger falls into this category.
Wishaal Kanhai
,
Ivar van Loon
,
Yuraj Mangalgi
,
Thijs van der Valk
,
Lucas Witte
,
Annibale Panichella
,
Mitchell Olsthoorn
,
Burcu Ozkan
Preprint
PDF
Video
Suspicious Types and Bad Neighborhoods - Filtering Spectra with Compiler Information
Leonhard Applis
,
Matthías Páll Gissurarson
,
Annibale Panichella
Project
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
Azat Abdullin
,
Pouria Derakhshanfar
,
Annibale Panichella
Danger is My Middle Lane: Simulations from Real-World Dangerous Roads
Self-driving cars face significant testing challenges, constrained by high costs and limited test environments. This necessitates …
Aontony Bartlett
,
Annibale Panichella
PDF
Project
Higher Fault Detection Through Novel Density Estimators in Unit Test Generation
Search-based test case generation approaches make use of static type information to determine which data types should be used for the …
Annibale Panichella
,
Mitchell Olsthoorn
PDF
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Compiler correctness is a cornerstone of reliable software development. However, systematic testing of compilers is infeasible, given …
Călin Georgescu
,
Mitchell Olsthoorn
,
Pouria Derakhshanfar
,
Marat Akhin
,
Annibale Panichella
Code
Dataset
«
»
Cite
×