Journals, conferences, and workshops
2024
D. Lyu, Z. Zhang, P. Arcaini, F. Ishikawa, T. Laurent, J. Zhao
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications
in The Genetic and Evolutionary Computation Conference (GECCO 2024), Melbourne, Australia, July 14-18, 2024 (to appear)
T. Laurent, P. Arcaini, X. Zhang, F. Ishikawa
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
in 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2024), Toronto, Canada, May 27-31, 2024 (to appear)
D. Li Calsi, T. Laurent, P. Arcaini, F. Ishikawa
Federated Repair of Deep Neural Networks
in 2024 IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning (DeepTest 2024), Lisbon , Portugal, April 20, 2024 (to appear)
A. Mancu, T. Laurent, F. Rieger, P. Arcaini, F. Ishikawa, D. Rückert
More is Not Always Better: Exploring Early Repair of DNNs
in 2024 IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning (DeepTest 2024), Lisbon , Portugal, April 20, 2024 (to appear)
C. Sun, T. Laurent, P. Arcaini, F. Ishikawa
Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System
in 31st IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2024), Rovaniemi , Finland, March 12-15, 2024 (to appear)
2023
S. Klikovits, C. Ho Thanh, A. Cetinkaya, P. Arcaini
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging
in Applied Soft Computing, 2023
S. Klikovits, E. Castellano, A. Cetinkaya, P. Arcaini
Frenetic-lib: An Extensible Framework for Search-Based Generation of Road Structures for ADS Testing
in Science of Computer Programming, 2023
T. Laurent, P. Arcaini, F. Ishikawa, H. Kawamoto, K. Sawai, E. Muramoto
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System
in 30th Asia-Pacific Software Engineering Conference (APSEC 2023), Seoul, South Korea, December 4-7, 2023
T. Yue, S. Ali, P. Arcaini
Towards Quantum Software Requirements Engineering
in 3rd International Workshop on Quantum Software Engineering and Technology (QSET 2023), Bellevue, Washington, USA, September 20, 2023
J. Ye, S. Xia, F. Zhang, P. Arcaini, L. Ma, J. Zhao, F. Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing
in 38th International Conference on Automated Software Engineering (ASE 2023), Luxembourg, September 11-15, 2023
X. Wang, P. Arcaini, T. Yue, S. Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software
in 38th International Conference on Automated Software Engineering (ASE 2023) - Tool Demonstrations track, Luxembourg, September 11-15, 2023
M. Zhang, X. Zhang, P. Arcaini, F. Ishikawa.
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go
in 10th International Conference on Dependable Systems and Their Applications (DSA 2023), Tokyo, Japan, August 10-11, 2023
Z. Zhang, J. An, P. Arcaini, I. Hasuo
Online Causation Monitoring of Signal Temporal Logic
in 35th International Conference on Computer-Aided Verification (CAV 2023), Paris, France, July 17-22, 2023
D. Li Calsi, M. Duran, T. Laurent, X. Zhang, P. Arcaini, F. Ishikawa
Adaptive Search-based Repair of Deep Neural Networks
in The Genetic and Evolutionary Computation Conference (GECCO 2023), Lisbon, Portugal, July 15-19, 2023
P. J. Bentley, S. L. Lim, P. Arcaini, F. Ishikawa
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery
in The Genetic and Evolutionary Computation Conference (GECCO 2023), Lisbon, Portugal, July 15-19, 2023
P. Arcaini, E. Castellano, F. Ishikawa, H. Kawamoto, K. Sawai, E. Muramoto
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery
in IEEE 2023 Congress on Evolutionary Computation (CEC 2023), Chicago, USA, July 1-5, 2023
M. Byrd Victorica, P. Arcaini, F. Ishikawa, H. Kawamoto, K. Sawai, E. Muramoto
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery
in 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), Toulouse, France, June 12-16, 2023
F. Scheuer, A. Gambi, P. Arcaini
STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems
in IEEE Intelligent Vehicles Symposium (IV 2023), Anchorage, USA, June 4-7, 2023
D. Li Calsi, M. Duran, X. Zhang, P. Arcaini, F. Ishikawa
Distributed Repair of Deep Neural Networks
in 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Dublin, Ireland, April 16-20, 2023
2022
T. Takisaka, Z. Zhang, P. Arcaini, I. Hasuo
A Robustness-Based Confidence Measure for Hybrid System Falsification
in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022
Z. Zhang, D. Lyu, P. Arcaini, L. Ma, I. Hasuo, J. Zhao
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
in IEEE Transactions on Software Engineering, 2022
T. Laurent, S. Klikovits, P. Arcaini, F. Ishikawa, A. Ventresque
Parameter Coverage for Testing of Autonomous Driving Systems Under Uncertainty
in ACM Transactions on Software Engineering and Methodology, 2022
Z. Zhang, P. Arcaini, X. Xuan
Online Reset for Signal Temporal Logic Monitoring
in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022
T. Laurent, P. Arcaini, C. Trubiani, A. Ventresque
Mutation-based Analysis of Queueing Network Performance Models
in Journal of Systems and Software, 2022
X. Zhang, P. Arcaini, F. Ishikawa
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner
in IEEE Transactions on Dependable and Secure Computing, 2022
J. Wu, P. Arcaini, T. Yue, S. Ali, H. Zhang
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering
in Empirical Software Engineering, 2022
T. Laurent, P. Arcaini, C. Trubiani, A. Ventresque
JSIMutate: Understanding Performance Results through Mutations
in 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022) - Demonstrations track, Singapore, November 14-18, 2022
T. Yue, S. Ali, P. Arcaini, F. Ishikawa
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
in 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Rhodes, Greece, October 22-30, 2022
E. Castellano, X. Zhang, P. Arcaini, T. Takisaka, F. Ishikawa, N. Ikehata, K. Iwakura
Explaining the Behaviour of Game Agents Using Differential Comparison
in 2nd International Workshop on Automated Software Engineering for Computer Games (ASE4Games 2022), virtual, October 10, 2022
Y. Luo, X. Zhang, P. Arcaini, Z. Jin, H. Zhao, L. Zhang, F. Ishikawa
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems
in 30th IEEE International Requirements Engineering (RE 2022), virtual, August 15-19, 2022
X. Wang, T. Yu, P. Arcaini, T. Yue, S. Ali
Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search
in The Genetic and Evolutionary Computation Conference (GECCO 2022), Boston, USA, July 9-13, 2022
X. Wang, P. Arcaini, T. Yue, S. Ali
QuSBT: Search-Based Testing of Quantum Programs
in 44th International Conference on Software Engineering (ICSE 2022) - Demonstrations track, Pittsburgh, USA, May 22-27, 2022
P. Arcaini, X. Zhang, F. Ishikawa
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing
in 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022), virtual, April 4-13, 2022
P. Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, D. Gamba, R. Pedercini
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
in 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022), virtual, April 4-13, 2022
2021
E. Castellano, A. Cetinkaya, P. Arcaini
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems
in 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021), Hainan, China, December 6-10, 2021
X. Wang, P. Arcaini, T. Yue, S. Ali
Application of Combinatorial Testing to Quantum Programs
in 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021), Hainan, China, December 6-10, 2021
S. Klikovits, P. Arcaini
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems
in 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021) Perth, Australia, December 1-4, 2021
Z. Zhang, P. Arcaini
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
in 24th International Symposium on Formal Methods (FM 2021), Beijing, China, November 20-26, 2021
Y. Luo, X. Zhang, P. Arcaini, Z. Jin, H. Zhao, F. Ishikawa, R. Wu, T. Xie
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
in 36th International Conference on Automated Software Engineering (ASE 2021), virtual, November 15-19, 2021
T. Laurent, P. Arcaini, F. Ishikawa, A. Ventresque
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems
in 36th International Conference on Automated Software Engineering (ASE 2021) - NIER track, virtual, November 15-19, 2021
X. Wang, P. Arcaini, T. Yue, S. Ali
Quito: a Coverage-Guided Test Generator for Quantum Programs
in 36th International Conference on Automated Software Engineering (ASE 2021) - Tool Demonstrations track, virtual, November 15-19, 2021
E. Mendiluze, S. Ali, P. Arcaini, T. Yue
Muskit: A Mutation Analysis Tool for Quantum Software Testing
in 36th International Conference on Automated Software Engineering (ASE 2021) - Tool Demonstrations track, virtual, November 15-19, 2021
M. Duran, X. Zhang, P. Arcaini, F. Ishikawa
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks
in 32nd International Symposium on Software Reliability Engineering (ISSRE 2021), Wuhan, China, October 25-28, 2021
X. Wang, P. Arcaini, T. Yue, S. Ali
Generating Failing Test Suites for Quantum Programs with Search
in 13th Symposium on Search-Based Software Engineering (SSBSE 2021), Bari, Italy, October 11-15, 2021 - Distinguished paper award
S. Klikovits, P. Arcaini
On the Need for Multi-Level ADS Scenarios
in 3rd International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS 2021), virtual, October 10-12, 2021
S. Klikovits, P. Arcaini
KNN-Averaging for Noisy Multi-Objective Optimisation
in 14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021), virtual, September 8-11, 2021
P. Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini
Efficient Computation of Robustness of Convolutional Neural Networks
in 3rd IEEE International Conference on Artificial Intelligence Testing (AITest 2021), virtual, August 23-26, 2021
Z. Zhang, D. Lyu, P. Arcaini, L. Ma, I. Hasuo, J. Zhao
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness
in 33rd International Conference on Computer-Aided Verification (CAV 2021), Los Angeles, USA, July 18-23, 2021
P. Arcaini, A. Calò, F. Ishikawa, T. Laurent, X. Zhang, S. Ali, F. Hauer, A. Ventresque
Parameter-Based Testing and Debugging of Autonomous Driving Systems
in 4th workshop on Ensuring and Validating Safety for Automated Vehicles, Nagoya, Japan, July 11, 2021
K. Yin, P. Arcaini, T. Yue, S. Ali
Analyzing the Impact of Product Configuration Variations on Advanced Driver Assistance Systems with Search
in The Genetic and Evolutionary Computation Conference (GECCO 2021), Lille, France, July 10-14, 2021
Z. Zhang, D. Lyu, P. Arcaini, L. Ma, I. Hasuo, J. Zhao
On the Effectiveness of Signal Rescaling in Hybrid System Falsification
in 13th NASA Formal Methods Symposium (NFM 2021), virtual, May 24-28, 2021
S. Ali, P. Arcaini, X. Wang, T. Yue
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
in 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), virtual, April 12-16, 2021
P. Arcaini, X. Zhang, F. Ishikawa
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems
in 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), virtual, April 12-16, 2021
P. Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers
in 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021) - Testing Tools Track, virtual, April 12-16, 2021
J. Doyle, T. Saber, P. Arcaini, A. Ventresque
Improving Mobile User Interface Testing with Model Driven Monkey Search
in 4th International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS 2021), virtual, April 16, 2021
2020
Z. Zhang, P. Arcaini, I. Hasuo
Hybrid System Falsification under (In)equality Constraints via Search Space Transformation
in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
P. Arcaini, O. Inverso, C. Trubiani
Automated Model-based Performance Analysis of Software Product Lines under Uncertainty
in Information and Software Technology, 2020
P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
MSL: a pattern language for engineering self-adaptive systems
in Journal of Systems and Software, 2020
S. Ali, P. Arcaini, D. Pradhan, S.A. Safdar, T. Yue
Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation
in ACM Transactions on Software Engineering and Methodology, 2020
A. Cetinkaya, P. Arcaini, H. Ishii, T. Hayakawa
A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control
in 59th IEEE Conference on Decision and Control (CDC 2020), online, December 8-11, 2020
T. Laurent, P. Arcaini, F. Ishikawa, A. Ventresque
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation
in 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020), Singapore, October 28-31, 2020
T. Yue, P. Arcaini, S. Ali
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model
in 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), Rhodes, Greece, October 20-30, 2020
X. Zhang, P. Arcaini, F. Ishikawa, K. Liu
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance
in 31st International Symposium on Software Reliability Engineering (ISSRE 2020), online, October 12-15, 2020
S. Ali, P. Arcaini, T. Yue
Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering?
in 12th Symposium on Search-Based Software Engineering (SSBSE 2020), online, October 7-8, 2020 - Best paper award
A. Calò, P. Arcaini, S. Ali, F. Hauer, F. Ishikawa
Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems
in The Genetic and Evolutionary Computation Conference (GECCO 2020), Cancún, Mexico, July 8-12, 2020
K. Liu, X. Zhang, P. Arcaini, F. Ishikawa, W. Jiao
Leveraging Test Logs for Building a Self-Adaptive Path Planner
in 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020), Seoul, South Korea, May 25-26, 2020
P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Modelling an automotive software-intensive system with adaptive features using ASMETA
in 7th International Conference on Rigorous State Based Methods (ABZ 2020), Ulm, Germany, May 27-29, 2020
Z. Zhang, P. Arcaini, I. Hasuo
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
in 12th NASA Formal Methods Symposium (NFM 2020), NASA Ames Research Center Moffett Field, CA, USA, May 11-15, 2020
P. Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini
Dealing with Robustness of Convolutional Neural Networks for Image Classification
in 2nd IEEE International Conference on Artificial Intelligence Testing (AITest 2020), Oxford, UK, August 3-6, 2020 - Best paper award on testing AI system
P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra, A. Arrigoni, D. Bosc, F. Modica, R. Pedercini
Smart home platform supporting decentralized adaptive automation control
in 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020) - SA track, Brno, Czech Republic, March 30-April 3, 2020
A. Calò, P. Arcaini, S. Ali, F. Hauer, F. Ishikawa
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
in 13th IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), Porto, Portugal, October 24-28, 2020
P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Model-Based Testing for MAPE-K adaptation control loops
in 16th Workshop on Advances in Model Based Testing (A-MOST 2020), Porto, Portugal, October 24, 2020
2019
P. Arcaini, J. Kofroň, P. Ježek
Validation of the Hybrid ERTMS/ETCS Level 3 using SPIN
in International Journal on Software Tools for Technology Transfer, 2019
P. Arcaini, A. Gargantini, M. Radavelli
Achieving change requirements of feature models by an evolutionary approach
in Journal of Systems and Software, 2019
T. Laurent, P. Arcaini, F. Ishikawa, A. Ventresque
A mutation-based approach for assessing weight coverage of a path planner
in 26th Asia-Pacific Software Engineering Conference (APSEC 2019), Putrajaya, Malaysia, December 2-5, 2019
X. Zhang, P. Arcaini, F. Ishikawa
Assessing the Relation Between Hazards and Variability in Automotive Systems
in 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Guangzhou, China, November 10-13, 2019 - Best paper award
P. Arcaini, A. Gargantini, E. Riccobene
Regular expression learning with evolutionary testing and repair
in 31st IFIP International Conference on Testing Software and Systems (ICTSS 2019), Paris, France, October 15-17, 2019
É. André, P. Arcaini, A. Gargantini, M. Radavelli
Repairing Timed Automata Clock Guards through Abstraction and Testing
in 13th International Conference on Tests and Proofs (TAP 2019), Porto, Portugal, October 9-11, 2019
P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Addressing Usability in a Formal Development Environment
in Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), Porto, Portugal, October 7, 2019
P. Arcaini, A. Gargantini, M. Radavelli
A Process for Fault-driven Repair of Constraints Among Features
in 2nd International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2019), Paris, France, September 9, 2019
Z. Zhang, I. Hasuo, P. Arcaini
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification
in 31st International Conference on Computer-Aided Verification (CAV 2019), New York, USA, July 13-18, 2019
N. Lee, P. Arcaini, S. Ali, F. Ishikawa
Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach
in The Genetic and Evolutionary Computation Conference (GECCO 2019), Prague, Czech Republic, July 13-17, 2019
P. Arcaini, A. Gargantini, M. Radavelli
Efficient and Guaranteed Detection of t-way Failure-inducing Combinations
in 8th International Workshop on Combinatorial Testing (IWCT 2019), Xi'an, China, April 23, 2019
P. Arcaini, E. Riccobene
Automatic Refinement of ASM Abstract Test Cases
in 15th Workshop on Advances in Model Based Testing (A-MOST 2019), Xi'an, China, April 22, 2019
P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
A Pattern-oriented Design Framework for Self-adaptive Software Systems
in 2019 International Conference on Software Architecture (ICSA 2019) - Tools track, Hamburg, Germany, March 25-29, 2019
S. Ali, P. Arcaini, I. Hasuo, F. Ishikawa, N. Lee
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain
in 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019), Leuven, Belgium, February 6-8, 2019
2018
Z. Zhang, G. Ernst, S. Sedwards, P. Arcaini, I. Hasuo
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search
in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018
P. Arcaini, A. Gargantini, E. Riccobene
Fault-based test generation for regular expressions by mutation
in Software Testing, Verification and Reliability, 2018
P. Arcaini, A. Gargantini, E. Riccobene
Interactive Testing and Repairing of Regular Expressions
in 30th IFIP International Conference on Testing Software and Systems (ICTSS 2018), Cádiz, Spain, October 1-3, 2018
P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
A DSL for MAPE-K patterns representation in self-adapting systems
in 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018
P. Arcaini, R. Melioli, E. Riccobene
AsmetaF: a flattener for the ASMETA framework
in 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), Oxford, UK, July 14, 2018
P. Arcaini, P. Ježek, J. Kofroň
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in SPIN
in 6th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2018), Southampton, UK, June 5-8, 2018
P. Arcaini, A. Gargantini, M. Radavelli
An evolutionary process for product-driven updates of feature models
in 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), Madrid, Spain, February 7-9, 2018
2017
P. Arcaini, A. Gargantini, E. Riccobene
Decomposition-Based Approach for Model-Based Test Generation
in IEEE Transactions on Software Engineering, 2017
P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene
Integrating Formal Methods into Medical Software Development: the ASM approach
in Science of Computer Programming, 2017
P. Arcaini, E. Riccobene, P. Scandurra
Formal design and verification of self-adaptive systems with decentralized control
in ACM Transactions on Autonomous and Adaptive Systems, 2017
P. Arcaini, A. Gargantini, P. Vavassori
Automated Repairing of Variability Models
in 21st International Systems and Software Product Line Conference (SPLC 2017), Sevilla, Spain, September 25-29, 2017
P. Arcaini, C. Trubiani
Collaborative Development of Feature Models and Evaluation of Performance Bounds
in SAC 2017, SA-TTA track, Marrakesh, Morocco, April 3-7, 2017
P. Arcaini, A. Gargantini, E. Riccobene
NuSeen: a tool framework for the NuSMV model checker
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo, Japan, March 13-18, 2017
P. Arcaini, A. Gargantini, E. Riccobene
MutRex: a mutation-based generator of fault detecting strings for regular expressions
in 12th International Workshop on Mutation Analysis (Mutation 2017), Tokyo, Japan, March 13, 2017 - Best paper award
2016
P. Arcaini, R.M. Holom, E. Riccobene
ASM-based formal design of an adaptivity component for a Cloud system
in Formal Aspects of Computing, 2016
P. Arcaini, A. Gargantini, E. Riccobene, P. Vavassori
A novel use of equivalent mutants for static anomaly detection in software artifacts
in Information and Software Technology, 2016
P. Arcaini, G. Bordogna, D. Ienco, S. Sterlacchini
User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks
in Information Sciences, 2016
P. Arcaini, A. Gargantini, E. Riccobene
SMT-based automatic proof of ASM model refinement
in 14th International Conference on Software Engineering and Formal Methods (SEFM 2016), Vienna, Austria, July 4-8, 2016
P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene
Visual notation and patterns for Abstract State Machines
in 3rd workshop on Human-Oriented Formal Methods (HOFM 2016), Vienna, Austria, July 4, 2016
P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene
How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study
in 5th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2016) - Case study track, Linz, Austria, May 23-27, 2016
P. Arcaini, S. Bonfanti, M. Dausend, A. Gargantini, A. Mashkoor, A. Raschke, E. Riccobene, P. Scandurra, M. Stegmaier
Unified Syntax for Abstract State Machines
in 5th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2016), Linz, Austria, May 23-27, 2016
P. Arcaini, A. Gargantini, P. Vavassori
Automatic Detection and Removal of Conformance Faults in Feature Models
in 9th IEEE International Conference on Software Testing, Verification and Validation (ICST 2016), Chicago, USA, April 10-15, 2016
2015
P. Arcaini, E. Riccobene, P. Scandurra
Modeling and validating self-adaptive service-oriented applications
in SIGAPP Applied Computing Review, 2015
P. Arcaini, A. Gargantini, E. Riccobene
Rigorous development process of a safety-critical system: from ASM models to Java code
in International Journal on Software Tools for Technology Transfer, 2015
P. Arcaini, A. Gargantini, E. Riccobene
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions
in The Computer Journal, 58 (11) (2015) 2900-2920
P. Arcaini, A. Gargantini, E. Riccobene
Using mutation to assess fault detection capability of model review
in Software Testing, Verification and Reliability, 25 (5-7): 629-652, 2015
P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene
Formal validation and verification of a medical software critical component
in 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2015), Austin, Texas, September 21-23, 2015
P. Arcaini, A. Gargantini, E. Riccobene
Improving model-based test generation by model decomposition
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Bergamo, Italy, August 31 - September 4, 2015
P. Arcaini, E. Riccobene, P. Scandurra
Modeling and analyzing MAPE-K feedback loops for self-adaptation
in 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), Florence, Italy, May 18-19, 2015
P. Arcaini, A. Gargantini, P. Vavassori
Generating Tests for Detecting Faults in Feature Models
in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), Graz, Austria, April 13-17, 2015
P. Arcaini, A. Gargantini, E. Riccobene, P. Vavassori
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts
in 10th International Workshop on Mutation Analysis (Mutation 2015), Graz, Austria, April 13, 2015
2014
P. Arcaini, A. Gargantini
Test Generation for Sequential Nets of Abstract State Machines with Information Passing
in Science of Computer Programming (2014), 94, Part 2(0):93-108, 2014
P. Arcaini, A. Gargantini, E. Riccobene
Using SMT for dealing with nondeterminism in ASM-based runtime verification
in 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), Enschede, The Netherlands, September 24-26, 2014
P. Arcaini, R.M. Holom, E. Riccobene
Modeling and formal analysis of a client-server application for Cloud services
in 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM:FASOCC 2014), Eindhoven, The Netherlands, September 11-12, 2014
P. Arcaini, A. Gargantini, E. Riccobene
An Abstraction Technique for Testing Decomposable Systems by Model Checking
in 8th International Conference on Tests & Proofs (TAP 2014), York, UK, July 24-25, 2014
P. Arcaini, A. Gargantini, E. Riccobene
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
in 4th International Conference on ASM, Alloy, B and Z (ABZ 2014)-Case study track, Toulouse, France, June 2-6, 2014
P. Arcaini, A. Gargantini, E. Riccobene
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
in 4th International Conference on ASM, Alloy, B and Z (ABZ 2014) - Case study track, Toulouse, France, June 2-6, 2014
P. Arcaini, A. Gargantini, P. Vavassori
Validation of Models and Tests for Constrained Combinatorial Interaction Testing
in 3rd International Workshop on Combinatorial Testing (IWCT 2014), Cleveland, Ohio, USA, March 31, 2014
2013
P. Arcaini, A. Gargantini, E. Riccobene
Online testing of LTL properties for Java code
in 9th Haifa Verification Conference (HVC 2013), Haifa, Israel, November 5-7, 2013
P. Arcaini, G. Bordogna, S. Sterlacchini
Wildfire Susceptibility Maps Flexible Querying and Answering
in 10th International Conference on Flexible Query Answering Systems (FQAS 2013), Granada, Spain, September 18-20, 2013
P. Arcaini, G. Bordogna, S. Sterlacchini
Flexible Querying of Volunteered Geographic Information for Risk Management
in 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013), Milano, Italy, September 11-13, 2013
P. Arcaini, A. Gargantini, E. Riccobene
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
in 9th Workshop on Advances in Model Based Testing (A-MOST 2013), Luxembourg, March 22 2013 - Best paper award
2012
P. Arcaini, A. Gargantini, E. Riccobene
Components monitoring through formal specifications
in 17th International Doctoral Symposium on Components and Architecture (WCOP 2012), Bertinoro, Italy, June 25, 2012
P. Arcaini, F. Bolis, A. Gargantini
Test Generation for Sequential Nets of Abstract State Machines
in 3rd International Conference on ASM, Alloy, B and Z (ABZ 2012), Pisa, Italy, June 18-22, 2012
2011
P. Arcaini, A. Gargantini, E. Riccobene
A Model Advisor for NuSMV Specifications
in Innovations in Systems and Software Engineering, Springer London, vol. 7 (2011): 97-107
P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
A model-driven process for engineering a tool-set for a formal method
in Software: Practice and Experience, John Wiley & Sons, Ltd., vol. 41, n. 2 (2011): 155-166
P. Arcaini, A. Gargantini, E. Riccobene
CoMA: Conformance Monitoring of Java programs by Abstract State Machines
in 2nd International Conference on Runtime Verification (RV 2011), San Francisco, California, September 27-30, 2011
P. Arcaini, A. Gargantini, E. Riccobene
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions
in 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, November 6-12, 2011
2010
P. Arcaini, A. Gargantini, E. Riccobene
Automatic review of Abstract State Machines by Meta Property Verification
in 2nd NASA Formal Methods Symposium, Washington D.C., USA, April 13-15, 2010
P. Arcaini, A. Gargantini, E. Riccobene
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
in 2nd International Conference on ASM, Alloy, B and Z (ABZ 2010), Orford, QC, Canada, February 22-25, 2010
P. Arcaini, A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra
A model-driven process for engineering a tool set for a formal method
in Workshop on Tool Building in Formal Methods, WS-TBFM 2010 (2010)
Chapters in books and encyclopedias
P. Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra.
The ASMETA Approach to Safety Assurance of Software Systems
in Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 2021
P. Arcaini, A. Gargantini, E. Riccobene
Closing the gap between the specification and the implementation: the ASMETA way
in Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, 2018
P. Arcaini, G. Bordogna
Geotemporal Querying of Social Networks and Summarization
in Encyclopedia of Social Network Analysis and Mining (2018)
G. Bordogna, S. Sterlacchini, P. Arcaini, G. Cappellini, M. Cugini, E. Mangioni, C. Polyzoni
A Geo-Spatial Data Infrastructure for Flexible Discovery, Retrieval and Fusion of Scenario maps in Preparedness of Emergency
in Granular, Soft and Fuzzy Approaches for Intelligent Systems. Studies in Fuzziness and Soft Computing. Springer (2017)
G. Bordogna, S. Sterlacchini, P. Arcaini
User Driven Query Framework of Social Networks for Geo-Temporal Analysis of Events of Interest
in Handbook of Research on Innovative Database Query Processing Techniques. IGI Global (2015)
P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Formal Semantics for Metamodel-Based Domain Specific Languages
in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. IGI Global (2012)
Papers in Proceedings of National Conferences and Workshops, and other publications
P. Arcaini, A. Cetinkaya
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track
in 16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2023, Melbourne, Australia, May 14, 2023 (to appear)
G. Ernst, P. Arcaini, G. Fainekos, F. Formica, J. Inoue, T. Khandait, M. M. Mahboob, C. Menghi, G. Pedrielli, M. Waga, Y. Yamagata, Z. Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
in 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 6, 2022
T. Yue, P. Arcaini, J. Wu, X. Huang
Editorial to Theme Section on Open Environmental Software Systems Modeling
in Software Systems Modeling, Theme Issue on Open Environmental Software Systems Modeling, 2022
E. Castellano, S. Klikovits, A. Cetinkaya, P. Arcaini
FreneticV at the SBST 2022 Tool Competition
in 15th International Workshop on Search-Based Software Testing (SBST 2022), CPS testing competition, virtual, May 9, 2022
P. Arcaini, X. Devroey, A. Fantechi
Proceedings of VaMoS'22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022
G. Ernst, P. Arcaini, I. Bennani, A. Chandratre, A. Donzé, G. Fainekos, G. Frehse, K. Gaaloul, J. Inoue, T. Khandait, L. Mathesen, C. Menghi, G. Pedrielli, M. Pouzet, M. Waga, S. Yaghoubi, Y. Yamagata, Z. Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
in 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), virtual, July 9, 2021
E. Castellano, A. Cetinkaya, C. Ho Thanh, S. Klikovits, X. Zhang, P. Arcaini
Frenetic at the SBST 2021 Tool Competition
in 14th International Workshop on Search-Based Software Testing (SBST 2021), CPS testing competition, virtual, May 21, 2021
A. Mashkoor, P. Arcaini, A. Gargantini
Intelligent Autonomous Systems
in IEEE Computer, December 2020
G. Ernst, P. Arcaini, I. Bennani, A. Donzé, G. Fainekos, G. Frehse, L. Mathesen, C. Menghi, G. Pedrielli, M. Pouzet, S. Yaghoubi, Y. Yamagata, Z. Zhang
ARCH-COMP 2020 Category Report: Falsification
in 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020
G. Ernst, P. Arcaini, A. Donzé, G. Fainekos, L. Mathesen, G. Pedrielli, S. Yaghoubi, Y. Yamagata, Z. Zhang
ARCH-COMP 2019 Category Report: Falsification
in 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Montreal, Canada, April 15, 2019
A. Dokhanchi, S. Yaghoubi, B. Hoxha, G. Fainekos, G. Ernst, Z. Zhang, P. Arcaini, I. Hasuo, S. Sedwards
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks
in 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH18), Oxford, UK, July 13, 2018
P. Arcaini, X. Devroey, J.P. Faria
Message from the A-MOST 2018 General Chairs
in 14th Workshop on Advances in Model Based Testing (A-MOST 2018), Västerås, Sweden, April 13, 2018
P. Arcaini, A. Gargantini, E. Riccobene
SMT for state-based formal methods: the ASM case study
in Automated Formal Methods (AFM 2017), NASA Ames Research Center, Moffett Field, CA, USA, May 19, 2017
P. Arcaini, X. Devroey, S. Wang
Message from the A-MOST 2017 Chairs
in 13th Workshop on Advances in Model Based Testing (A-MOST 2017), Tokyo, Japan, March 17, 2017
P. Arcaini, E. Riccobene, A. Gargantini
Model-based offline and online testing for medical software
in 23rd EuroAsiaSPI2 Conference, Graz, Austria, September 14-16, 2016
P. Arcaini, G. Bordogna, E. Mangioni, S. Sterlacchini
Analisi spazio-temporale di messaggi Twitter per l'identificazione di eventi
in 18a Conferenza nazionale ASITA 2014, Firenze, Italy, October 14-16, 2014
P. Arcaini, G. Bordogna, E. Mangioni, C. Polyzoni, S. Sterlacchini
Il progetto SISTEMATI - The SISTEMATI project
in Rendiconti Online della Società Geologica Italiana, Vol. 30 (2014), pp. 55-61.
P. Arcaini, G. Bordogna, E. Mangioni, S. Sterlacchini
Uno strumento per la partecipazione attiva dei cittadini alla cura e salvaguardia del territorio per la prevenzione delle emergenze ambientali
in 17a Conferenza nazionale ASITA 2013, Riva del Garda, Trento, Italy, November 5-7, 2013
P. Arcaini, A. Gargantini, P. Vavassori
NuSeen: an eclipse-based environment for the NuSMV model checker
in VIII Workshop of the Italian Eclipse Community (Eclipse-IT 2013), Crema, Cremona, Italy, September 19-20, 2013
P. Arcaini, A. Gargantini, E. Riccobene
epop: An Eclipse-based Extensible Research Evaluator
in VII Workshop of the Italian Eclipse Community (Eclipse-IT 2012), Pozzuoli, Naples, Italy, September 20-21, 2012
Thesis
P. Arcaini
Tool-Assisted Validation and Verification Techniques for State-Based Formal Methods [pdf]
in PhD Thesis in Computer Science, February, 2013 (Advisor: Prof. E. Riccobene)
Posters
P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
The ASMETA framework
in iFM 2012 & ABZ 2012 - Posters & Tool demos Session, Pisa, Italy, June 18-22, 2012
Technical reports
P. Arcaini, A. Gargantini, E. Riccobene
Equivalence checking of NuSMV specifications
in Technical report of Università degli Studi di Milano, Dipartimento di Tecnologie dell'Informazione, no 134 (November 2011)
P. Arcaini, A. Gargantini, E. Riccobene
Runtime monitoring of Java programs by Abstract State Machines
in Technical report of Università degli Studi di Milano, Dipartimento di Tecnologie dell'Informazione, no 131 (November 2010)
P. Arcaini, A. Gargantini, E. Riccobene
AsmetaSMV : a model checker for AsmetaL models. Tutorial
in Technical report of Università degli Studi di Milano, Dipartimento di Tecnologie dell'Informazione, no 120 (July 2009)