Paolo Arcaini

National Institute of Informatics — Japan

Computer Science · Physical Sciences

27h-index2.7kcitations258works2.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

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

Research Topics

Software Testing and Debugging Techniques(87), Software Reliability and Analysis Research(67), Formal Methods in Verification(65), Advanced Software Engineering Methodologies(34), Quantum Computing Algorithms and Architecture(32)

Publications258 total

Software Testing in the Quantum World
ArXiv.org·2026Open Access
Software Testing in the Quantum World
Open MIND·2026Open Access
Study on Road Diversity
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Study on Road Diversity
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Open Science Artifact - FedOverlap: A Federated Weight Overlap Approach to Model Repair in Federated Learning
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Open Science Artifact - FedOverlap: A Federated Weight Overlap Approach to Model Repair in Federated Learning
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
ARCH-COMP25 Category Report: Falsification
EPiC series in computing·2025
Study on Road Diversity
Zenodo (CERN European Organization for Nuclear Research)·2025Open Access
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
ACM Transactions on Software Engineering and Methodology·2025· 1 cited
FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
ACM Transactions on Software Engineering and Methodology·2025Open Access
FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
arXiv (Cornell University)·2025Open Access
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
arXiv (Cornell University)·2025Open Access
Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System (Hot off the Press at GECCO 2025)
Proceedings of the Genetic and Evolutionary Computation Conference Companion·2025
Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels
Proceedings of the Genetic and Evolutionary Computation Conference·2025Open Access
Multi-Agent Differential Testing for the Game of Go
2025· 2 citedOpen Access
Simulation-based Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems
ACM Transactions on Software Engineering and Methodology·2025· 3 cited
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
arXiv (Cornell University)·2025Open Access
MultiDrive: A Co-Simulation Framework Bridging 2D and 3D Driving Simulation for AV Software Validation
arXiv (Cornell University)·2025Open Access
Fault localization of AI-enabled cyber–physical systems by exploiting temporal neuron activation
Journal of Systems and Software·2025· 1 cited
Quantum Artificial Intelligence for Software Engineering: the Road Ahead
arXiv (Cornell University)·2025Open Access
page 1 of 13Next →

Frequent Co-authors

Elvinia Riccobene(17), Angelo Gargantini(16), Shaukat Ali(12), Tao Yue(10), Zhenya Zhang(8), Fuyuki Ishikawa(7), Patrizia Scandurra(6), Xinyi Wang(6), Ichiro Hasuo(6), Gidon Ernst(5), Xiao–Yi Zhang(4), Jianjun Zhao(4), Silvia Bonfanti(4), Georgios Fainekos(4), Shakiba Yaghoubi(4), Atif Mashkoor(3), Lei Ma(3), Alexandre Donzé(3), Logan Mathesen(3), Giulia Pedrielli(3)