Rchr
J-GLOBAL ID:201801001155812391   Update date: Apr. 30, 2024

Arcaini Paolo

アルカイニ パオロ | Arcaini Paolo
Affiliation and department:
Job title: Associate Professor
Homepage URL  (1): http://group-mmm.org/~arcaini/
Research field  (1): Software
Research keywords  (3): Search-based software engineering ,  Software product lines ,  Model-based testing
Papers (131):
  • Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini. Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Applied Soft Computing. 2023. 146. 110631-110631
  • Laurent, T., Klikovits, S., Arcaini, P., Ishikawa, F., Ventresque, A. Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Transactions on Software Engineering and Methodology. 2023. 32. 3
  • Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo. Online Causation Monitoring of Signal Temporal Logic. Computer Aided Verification. 2023. 62-84
  • Davide Li Calsi, Matias Duran, Thomas Lauren, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Adaptive Search-based Repair of Deep Neural Networks. GECCO. 2023. 1527-1536
  • Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Distributed Repair of Deep Neural Networks. 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 2023. 83-94
more...
MISC (12):
  • 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. abs/2303.03211
  • Xinyi Wang, Paolo Arcaini, Tao Yue 0002, Shaukat Ali 0001. QuSBT: Search-Based Testing of Quantum Programs. CoRR. 2022. abs/2204.08561
  • VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022. VaMoS. 2022
  • Tao Yue 0002, Paolo Arcaini, Shaukat Ali 0001. Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News. 2022. 2022. 128
  • Thomas Laurent 0003, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque. A Mutation-based Approach for Assessing Weight Coverage of a Path Planner. CoRR. 2019. abs/1910.00806
more...
Professional career (1):
  • PhD (The University of Milan)
Awards (8):
  • 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
Show all
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page