Research keywords (3)：
Analysis of AI-enabled systems
, Quantum software engineering
, Search-based software engineering
Papers (180)：
Qi Pan, Tiexin Wang, Jianwei Ma, Paolo Arcaini, Tao Yue. Simulation-based Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. ACM Transactions on Software Engineering and Methodology. 2026
Rui Abreu 0001, Shaukat Ali 0001, Paolo Arcaini, José Campos 0001, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, et al. Software Testing in the Quantum World. CoRR. 2026. abs/2601.13996
Massimo Donini, Paolo Arcaini, Michael Oliverio, Fuyuki Ishikawa, Alessandro Mazzei, Deyun Lyu, Cristina Gena. Coordinating Speech with Touch Input and Visual Cues in Human-Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing. HRI. 2026. 639-647
Sebastiano Panichella, Paolo Arcaini, Myra B. Cohen, Aitor Arrieta. Introduction. 2026
Sebastiano Panichella, Paolo Arcaini, Myra B. Cohen, Aitor Arrieta. Conclusion. 2026
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). Proceedings of the Genetic and Evolutionary Computation Conference Companion. 2024. 45-46
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini. Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). Proceedings of the Genetic and Evolutionary Computation Conference Companion. 2024. 39-40
Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, et al. ARCH-COMP 2024 Category Report: Falsification. EPiC Series in Computing. 2024. 103. 122-98
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang. On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023). Proceedings of the Companion Conference on Genetic and Evolutionary Computation. 2023. 47-48
Introduction to the Special Section on software engineering for hybrid quantum computing systems
Elsevier BV 2025
Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
Springer 2024 ISBN:9783031487958
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
ACM 2024 ISBN:9798400705939
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
ACM 2024 ISBN:9798400705939
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023)
Association for Computing Machinery (ACM) 2023
2025/11 - 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025) ACM SIGSOFT Distinguished Reviewer Award
2024/10 - 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) ACM SIGSOFT Distinguished Reviewer Award
2024/04 - The 17th International Workshop on Search-Based and Fuzz Testing (SBFT 2024) Winner of the Cyber-physical systems (CPS) testing competition CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track
2023/05 - The 16th International Workshop on Search-Based and Fuzz Testing (SBFT 2023) Winner of the Cyber-physical systems (CPS) testing competition CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track
2021/10 - 13th Symposium on Search-Based Software Engineering (SSBSE 2021) Distinguished Paper Award Generating Failing Test Suites for Quantum Programs With Search
2020/10 - 12th Symposium on Search-Based Software Engineering (SSBSE 2020) Best Paper Award Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?
2020/08 - The 2nd IEEE International Conference on Artificial Intelligence Testing (AITest 2020) Best paper award on testing AI system Dealing with Robustness of Convolutional Neural Networks for Image Classification
2019/11 - The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019) Best Paper Award Assessing the Relation Between Hazards and Variability in Automotive Systems
2017/03 - 12th International Workshop on Mutation Analysis (Mutation 2017) Best Paper Award MutRex: a mutation-based generator of fault detecting strings for regular expressions
2013/03 - 9th Workshop on Advances in Model Based Testing (A-MOST 2013) Best Paper Award Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
