Arcaini Paolo ＡｒｃａｉｎｉＰａｏｌｏ

Researcher Number	50828118
Other IDs	https://orcid.org/0000-0002-6253-4062
Affiliation (Current)	2026: 国立情報学研究所, アーキテクチャ科学研究系, 特任准教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 国立情報学研究所, アーキテクチャ科学研究系, 特任准教授
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator test generation / explainability / testing / autonomous agents / comparison analysis / Rank-Biased Overlap / explanation / artificial agents / reinforcement learning / AI agents / differential testing

Explaining automated test agents and their test resultsPrincipal Investigator
- Principal Investigator
  
  Arcaini Paolo
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  National Institute of Informatics

All 2025 2024 2023

All Journal Article Presentation

[Journal Article] Multi-Agent Differential Testing for the Game of Go2025
- Author(s)
  J. Song, X. Zhang, P. Arcaini, F. Ishikawa, Y. Liu, and B. Du
- Journal Title
  
  Foundations of Applied Software Engineering for Games workshop (FaSE4Games 2025), Trondheim, Norway, June 23-27, 2025
  
  Volume: Proceedings Pages: 1-8
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Journal Article] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024
- Author(s)
  Lyu Deyun、Zhang Zhenya、Arcaini Paolo、Ishikawa Fuyuki、Laurent Thomas、Zhao Jianjun
- Journal Title
  
  Proceedings of the Genetic and Evolutionary Computation Conference
  
  Volume: N/A Pages: 1435-1444
- DOI
  10.1145/3638529.3654078
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K11062
[Journal Article] Quantum Approximate Optimization Algorithm for Test Case Optimization2024
- Author(s)
  Wang Xinyi, Ali Shaukat, Yue Tao, Arcaini Paolo
- Journal Title
  
  IEEE Transactions on Software Engineering
  
  Volume: 50 Issue: 12 Pages: 3249-3264
- DOI
  10.1109/tse.2024.3479421
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Journal Article] Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers2024
- Author(s)
  Muqeet Asmar, Ali Shaukat, Arcaini Paolo
- Journal Title
  
  Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
  
  Volume: Proceedings Pages: 2130-2141
- DOI
  10.1145/3691620.3695275
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Journal Article] SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences2024
- Author(s)
  Lyu Deyun、Zhang Zhenya、Arcaini Paolo、Zhang Xiao-Yi、Ishikawa Fuyuki、Zhao Jianjun
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology
  
  Volume: - Issue: 4 Pages: 1-35
- DOI
  10.1145/3705307
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24H00714, KAKENHI-PROJECT-23K21657, KAKENHI-PROJECT-23K16865, KAKENHI-PROJECT-23K28062, KAKENHI-PROJECT-23K11062
[Journal Article] Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System2023
- Author(s)
  Laurent Thomas、Arcaini Paolo、Ishikawa Fuyuki、Kawamoto Hirokazu、Sawai Kaoru、Muramoto Eiichi
- Journal Title
  
  2023 30th Asia-Pacific Software Engineering Conference (APSEC)
  
  Volume: - Pages: 425-430
- DOI
  10.1109/apsec60848.2023.00053
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Journal Article] Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery2023
- Author(s)
  Victorica Mauricio Byrd、Arcaini Paolo、Ishikawa Fuyuki、Kawamoto Hirokazu、Sawai Kaoru、Muramoto Eiichi
- Journal Title
  
  2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)
  
  Volume: NA Pages: 177-186
- DOI
  10.1109/iceccs59891.2023.00030
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Journal Article] An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go2023
- Author(s)
  Zhang Mingyue、Zhang Xiao-Yi、Arcaini Paolo、Ishikawa Fuyuki
- Journal Title
  
  2023 10th International Conference on Dependable Systems and Their Applications (DSA)
  
  Volume: - Pages: 734-742
- DOI
  10.1109/dsa59317.2023.00105
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Journal Article] Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery2023
- Author(s)
  Arcaini Paolo、Castellano Ezequiel、Ishikawa Fuyuki、Kawamoto Hirokazu、Sawai Kaoru、Muramoto Eiichi
- Journal Title
  
  2023 IEEE Congress on Evolutionary Computation (CEC)
  
  Volume: - Pages: 1-10
- DOI
  10.1109/cec53210.2023.10254103
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Presentation] Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers2024
- Author(s)
  Paolo Arcaini
- Organizer
  39th IEEE/ACM International Conference on Automated Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Presentation] Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System2023
- Author(s)
  Paolo Arcaini
- Organizer
  30th Asia-Pacific Software Engineering Conference (APSEC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062
[Presentation] Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery2023
- Author(s)
  Paolo Arcaini
- Organizer
  IEEE 2023 Congress on Evolutionary Computation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11062

1. ISHIKAWA Fuyuki

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
2. 張振亜

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Arcaini Paolo Ａｒｃａｉｎｉ Ｐａｏｌｏ

Research Projects

Research Products

Co-Researchers

Explaining automated test agents and their test resultsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Multi-Agent Differential Testing for the Game of Go2025

Author(s)

Journal Title

Data Source

[Journal Article] Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Quantum Approximate Optimization Algorithm for Test Case Optimization2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery2023

Author(s)

Journal Title

DOI

Data Source

[Presentation] Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers2024

Author(s)

Organizer

Data Source

[Presentation] Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System2023

Author(s)

Organizer

Data Source

[Presentation] Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery2023

Author(s)

Organizer

Data Source

Arcaini Paolo ＡｒｃａｉｎｉＰａｏｌｏ