Paolo Arcaini

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 151

Top Venues

Publications

Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR (2023)
Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR (2023)
Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Franz Scheuer, Alessio Gambi, Paolo Arcaini
STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. IV (2023)
Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Adaptive Search-based Repair of Deep Neural Networks. GECCO (2023)
Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA (2023)
Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC (2023)
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
Test Case Minimization with Quantum Annealers. CoRR (2023)
Paolo Arcaini, Andriy V. Miranskyy
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023). ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146 (2023)
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. CoRR (2023)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49 (4) (2023)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CAV (1) (2023)
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. 230 (2023)
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO (2023)
Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
Noise-Aware Quantum Software Testing. CoRR (2023)
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). GECCO Companion (2023)
Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (5) (2023)
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Distributed Repair of Deep Neural Networks. ICST (2023)
Paolo Arcaini, Ahmet Cetinkaya
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CoRR (2023)
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR (2023)
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE (2023)
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Tao Yue, Shaukat Ali, Paolo Arcaini
Towards Quantum Software Requirements Engineering. CoRR (2023)
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
Guess What Quantum Computing Can Do for Test Case Optimization. CoRR (2023)
Tao Yue, Shaukat Ali, Paolo Arcaini
Towards Quantum Software Requirements Engineering. QCE (2023)
Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS (2023)
Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali
Mutation-based test generation for quantum programs with multi-objective search. GECCO (2022)
Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21 (4) (2022)
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuSBT: Search-Based Testing of Quantum Programs. CoRR (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). GECCO Companion (2022)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST (2022)
Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque
Mutation-based analysis of queueing network performance models. J. Syst. Softw. 191 (2022)
Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque
JSIMutate: understanding performance results through mutations. ESEC/SIGSOFT FSE (2022)
Zhenya Zhang, Paolo Arcaini, Xuan Xie
Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion (2022)
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST (2022)
Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR (2022)
Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE (2022)
Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE (2022)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE (2022)
Tao Yue, Paolo Arcaini, Shaukat Ali
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022 (128) (2022)
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. Empir. Softw. Eng. 27 (6) (2022)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion (2022)
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST (2021)
Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE (2021)
Shaukat Ali, Paolo Arcaini, Tao Yue
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). GECCO Companion (2021)
Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini
Frenetic at the SBST 2021 Tool Competition. SBST@ICSE (2021)
Zhenya Zhang, Paolo Arcaini
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM (2021)
Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops (2021)
Stefan Klikovits, Paolo Arcaini
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) (2021)
Paolo Arcaini, Omar Inverso, Catia Trubiani
Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) (2021)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST (2021)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion (2021)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) (2021)
Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali
Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE (2021)
Stefan Klikovits, Paolo Arcaini
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC (2021)
Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. QRS (2021)
Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE (2021)
Stefan Klikovits, Paolo Arcaini
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC (2021)
Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Generating Failing Test Suites for Quantum Programs With Search. SSBSE (2021)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Efficient Computation of Robustness of Convolutional Neural Networks. AITest (2021)
Stefan Klikovits, Paolo Arcaini
On the Need for Multi-Level ADS Scenarios. CoRR (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods (2021)
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
Application of Combinatorial Testing to Quantum Programs. QRS (2021)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE (2021)
Stefan Klikovits, Paolo Arcaini
KNN-Averaging for Noisy Multi-objective Optimisation. CoRR (2021)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM (2021)
Stefan Klikovits, Paolo Arcaini
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR (2021)
Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque
Improving Mobile User Interface Testing with Model Driven Monkey Search. ICST Workshops (2021)
Atif Mashkoor, Paolo Arcaini, Angelo Gargantini
Intelligent Autonomous Systems. Computer 53 (12) (2020)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops (2020)
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST (2020)
Paolo Arcaini, Omar Inverso, Catia Trubiani
Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127 (2020)
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE (2020)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS (2020)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164 (2020)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini
Smart home platform supporting decentralized adaptive automation control. SAC (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest (2020)
Tao Yue, Paolo Arcaini, Shaukat Ali
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) (2020)
Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao
Leveraging test logs for building a self-adaptive path planner. SEAMS@ICSE (2020)
Shaukat Ali, Paolo Arcaini, Tao Yue
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? SSBSE (2020)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ (2020)
Shaukat Ali, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue
Quality Indicators in Search-based Software Engineering: An Empirical Evaluation. ACM Trans. Softw. Eng. Methodol. 29 (2) (2020)
Paolo Arcaini, Jan Kofron, Pavel Jezek
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO (2020)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR (2020)
Ahmet Cetinkaya, Paolo Arcaini, Hideaki Ishii, Tomohisa Hayakawa
A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control. CDC (2020)
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM (2019)
Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Achieving change requirements of feature models by an evolutionary approach. SPLC (A) (2019)

Paolo Arcaini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Arcaini