Claudio Menghi

University of Bergamo — Italy

Computer Science · Physical Sciences

17h-index767citations107works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(48), Software Testing and Debugging Techniques(34), Advanced Software Engineering Methodologies(32), Software Reliability and Analysis Research(27), Model-Driven Software Engineering Techniques(20)

Publications107 total

ARCH-COMP25 Category Report: Falsification
EPiC series in computing·2025
Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives
arXiv (Cornell University)·2025Open Access
Feature-Guided Analysis of Neural Networks: A Replication Study
arXiv (Cornell University)·2025Open Access
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain
arXiv (Cornell University)·2025Open Access
Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider
Systems Engineering·2025Open Access
Can Generative AI Produce Test Cases? An Experience from the Automotive Domain
2025Open Access
Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach
IEEE Transactions on Software Engineering·2025· 2 citedOpen Access
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
arXiv (Cornell University)·2025Open Access
Search-based Testing of Simulink Models with Requirements Tables
arXiv (Cornell University)·2025Open Access
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
Open MIND·2025Open Access
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Lecture notes in computer science·2024Open Access
Supporting Change Impact Assessment with LLMs
2024· 1 cited
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
2024· 7 cited
ARCH-COMP 2024 Category Report: Falsification
EPiC series in computing·2024· 7 citedOpen Access
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise
2024
Search-based Trace Diagnostic
arXiv (Cornell University)·2024Open Access
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks
IEEE Transactions on Software Engineering·2023· 5 cited
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
2023· 1 cited
ARCH-COMP23 Category Report: Falsification
EPiC series in computing·2023· 15 citedOpen Access
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
ACM Transactions on Software Engineering and Methodology·2023· 15 cited
page 1 of 6Next →

Frequent Co-authors

Patrizio Pelliccione(13), Carlo Ghezzi(12), Paola Spoletini(9), Sergio García(7), Lionel Briand(6), Thorsten Berger(6), Christos Tsigkanos(6), Federico Formica(6), Marsha Chećhik(6), Paolo Arcaini(5), Georgios Fainekos(5), Giulia Pedrielli(5), Zhenya Zhang(5), Shiva Nejati(4), Gidon Ernst(4), Tanmay Khandait(4), Masaki Waga(4), Marcello M. Bersani(4), Torin Viger(4), Yago Isasi Parache(3)