J-GLOBAL ID:201801001155812391   Update date: Jun. 29, 2021

Arcaini Paolo

アルカイーニ パオロ | Arcaini Paolo
Affiliation and department:
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 (86):
  • 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. Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. 2021
  • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini. ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). 2021. 442-447
  • Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa. Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). 2021. 295-305
  • Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque. Improving Mobile User Interface Testing with Model Driven Monkey Search. 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 2021. 138-145
  • Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). 2021. 13-23
MISC (8):
  • 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
  • Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli. Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR. 2019. abs/1907.02133
  • Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen,Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. ARCH-COMP 2019 Category Report: Falsification. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. 2019. 129-140
  • Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini. Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR. 2019. abs/1905.07549
  • Paolo Arcaini, Marina Mongiello, Elvinia Riccobene, Patrizia Scandurra. Introduction to the 2nd workshop on "formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018). ACM International Conference Proceeding Series. 2018
Professional career (1):
  • PhD (The University of Milan)
Awards (5):
  • 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
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page