Paolo Arcaini

Affiliations:
  • National Institute of Informatics, Tokyo, Japan


According to our database1, Paolo Arcaini authored at least 157 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023).
ACM SIGSOFT Softw. Eng. Notes, October, 2023

Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging.
Appl. Soft Comput., October, 2023

Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing.
Sci. Comput. Program., August, 2023

Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty.
ACM Trans. Softw. Eng. Methodol., May, 2023

A Robustness-Based Confidence Measure for Hybrid System Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
IEEE Trans. Software Eng., April, 2023

An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner.
IEEE Trans. Dependable Secur. Comput., 2023

Guess What Quantum Computing Can Do for Test Case Optimization.
CoRR, 2023

Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations.
CoRR, 2023

Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems.
CoRR, 2023

Test Case Minimization with Quantum Annealers.
CoRR, 2023

Noise-Aware Quantum Software Testing.
CoRR, 2023

Towards Quantum Software Requirements Engineering.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

QuCAT: A Combinatorial Testing Tool for Quantum Software.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Distributed Repair of Deep Neural Networks.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track.
Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023).
Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Adaptive Search-based Repair of Deep Neural Networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023

Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023

An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery.
Proceedings of the IEEE Congress on Evolutionary Computation, 2023

Online Causation Monitoring of Signal Temporal Logic.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Online Reset for Signal Temporal Logic Monitoring.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Editorial to theme section on open environmental software systems modeling.
Softw. Syst. Model., 2022

Mutation-based analysis of queueing network performance models.
J. Syst. Softw., 2022

On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering.
Empir. Softw. Eng., 2022

Quantum Software Testing: Challenges, Early Achievements, and Opportunities.
ERCIM News, 2022

Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report.
CoRR, 2022

JSIMutate: understanding performance results through mutations.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

FreneticV at the SBST 2022 Tool Competition.
Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems.
Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

Explaining the Behaviour of Game Agents Using Differential Comparison.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Robustness assessment and improvement of a neural network for blood oxygen pressure estimation.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

QuSBT: Search-Based Testing of Quantum Programs.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Mutation-based test generation for quantum programs with multi-objective search.
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, July 9, 2022

Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022).
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22).
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

2021
Generating Failing Test Suites for Quantum Programs With Search.
Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021

Frenetic at the SBST 2021 Tool Competition.
Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

KNN-Averaging for Noisy Multi-objective Optimisation.
Proceedings of the Quality of Information and Communications Technology, 2021

Application of Combinatorial Testing to Quantum Programs.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems.
Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

On the Need for Multi-Level ADS Scenarios.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Quito: a Coverage-Guided Test Generator for Quantum Programs.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Muskit: A Mutation Analysis Tool for Quantum Software Testing.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Parameter-Based Testing and Debugging of Autonomous Driving Systems.
Proceedings of the IEEE Intelligent Vehicles Symposium Workshops, 2021

What to Blame? On the Granularity of Fault Localization for Deep Neural Networks.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Improving Mobile User Interface Testing with Model Driven Monkey Search.
Proceedings of the 14th IEEE International Conference on Software Testing, 2021

Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Analyzing the impact of product configuration variations on advanced driver assistance systems with search.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021).
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021).
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Gaussian Process-Based Confidence Estimation for Hybrid System Falsification.
Proceedings of the Formal Methods - 24th International Symposium, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

The ASMETA Approach to Safety Assurance of Software Systems.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Efficient Computation of Robustness of Convolutional Neural Networks.
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020
Quality Indicators in Search-based Software Engineering: An Empirical Evaluation.
ACM Trans. Softw. Eng. Methodol., 2020

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.
Int. J. Softw. Tools Technol. Transf., 2020

MSL: A pattern language for engineering self-adaptive systems.
J. Syst. Softw., 2020

Automated model-based performance analysis of software product lines under uncertainty.
Inf. Softw. Technol., 2020

Intelligent Autonomous Systems.
Computer, 2020

Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Smart home platform supporting decentralized adaptive automation control.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Model-Based Testing for MAPE-K adaptation control loops.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Leveraging test logs for building a self-adaptive path planner.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

ARCH-COMP 2020 Category Report: Falsification.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Dealing with Robustness of Convolutional Neural Networks for Image Classification.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019
Decomposition-Based Approach for Model-Based Test Generation.
IEEE Trans. Software Eng., 2019

Fault-based test generation for regular expressions by mutation.
Softw. Test. Verification Reliab., 2019

Achieving change requirements of feature models by an evolutionary approach.
J. Syst. Softw., 2019

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version).
CoRR, 2019

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Repairing Timed Automata Clock Guards through Abstraction and Testing.
Proceedings of the Tests and Proofs - 13th International Conference, 2019

A process for fault-driven repair of constraints among features.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Regular Expression Learning with Evolutionary Testing and Repair.
Proceedings of the Testing Software and Systems, 2019

Automatic Refinement of ASM Abstract Test Cases.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

A Pattern-Oriented Design Framework for Self-Adaptive Software Systems.
Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Assessing the Relation Between Hazards and Variability in Automotive Systems.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Stability analysis for safety of automotive multi-product lines: a search-based approach.
Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Addressing Usability in a Formal Development Environment.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

ARCH-COMP 2019 Category Report: Falsification.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
Geotemporal Querying of Social Networks and Summarization.
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Integrating formal methods into medical software development: The ASM approach.
Sci. Comput. Program., 2018

AsmetaF: A Flattener for the ASMETA Framework.
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

An evolutionary process for product-driven updates of feature models.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Interactive Testing and Repairing of Regular Expressions.
Proceedings of the Testing Software and Systems, 2018

A DSL for MAPE Patterns Representation in Self-adapting Systems.
Proceedings of the Software Architecture, 2018

Closing the gap between the specification and the implementation: the ASMETA way.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
A Geo-Spatial Data Infrastructure for Flexible Discovery, Retrieval and Fusion of Scenario Maps in Preparedness of Emergency.
Proceedings of the Granular, Soft and Fuzzy Approaches for Intelligent Systems, 2017

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.
ACM Trans. Auton. Adapt. Syst., 2017

Rigorous development process of a safety-critical system: from ASM models to Java code.
Int. J. Softw. Tools Technol. Transf., 2017

A novel use of equivalent mutants for static anomaly detection in software artifacts.
Inf. Softw. Technol., 2017

Automated Repairing of Variability Models.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Collaborative development of feature models and evaluation of performance bounds.
Proceedings of the Symposium on Applied Computing, 2017

SMT for state-based formal methods: the ASM case study.
Proceedings of the Automated Formal Methods, 2017

NuSeen: A Tool Framework for the NuSMV Model Checker.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Message from the A-MOST 2017 Chairs.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks.
Inf. Sci., 2016

ASM-based formal design of an adaptivity component for a Cloud system.
Formal Aspects Comput., 2016

Visual Notation and Patterns for Abstract State Machines.
Proceedings of the Software Technologies: Applications and Foundations, 2016

SMT-Based Automatic Proof of ASM Model Refinement.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Automatic Detection and Removal of Conformance Faults in Feature Models.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Unified Syntax for Abstract State Machines.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Using mutation to assess fault detection capability of model review.
Softw. Test. Verification Reliab., 2015

How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.
Comput. J., 2015

Modeling and Formal Analysis of a Client-Server Application for Cloud Services.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Improving model-based test generation by model decomposition.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Formal validation and verification of a medical software critical component.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Generating Tests for Detecting Faults in Feature Models.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

2014
Test generation for sequential nets of Abstract State Machines with information passing.
Sci. Comput. Program., 2014

Using SMT for dealing with nondeterminism in ASM-based runtime verification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

An Abstraction Technique for Testing Decomposable Systems by Model Checking.
Proceedings of the Tests and Proofs - 8th International Conference, 2014

Validation of Models and Tests for Constrained Combinatorial Interaction Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module.
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study.
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Online Testing of LTL Properties for Java Code.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Wildfire Susceptibility Maps Flexible Querying and Answering.
Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

Flexible Querying of Volunteered Geographic Information for Risk Management.
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

2012
Test Generation for Sequential Nets of Abstract State Machines.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
A model-driven process for engineering a toolset for a formal method.
Softw. Pract. Exp., 2011

A model advisor for NuSMV specifications.
Innov. Syst. Softw. Eng., 2011

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines.
Proceedings of the Runtime Verification - Second International Conference, 2011

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010
Automatic Review of Abstract State Machines by Meta Property Verification.
Proceedings of the Second NASA Formal Methods Symposium, 2010

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.
Proceedings of the Abstract State Machines, 2010


  Loading...