Registered user since Wed 30 Oct 2019
Name:Paolo Arcaini
Country:Japan
Affiliation:National Institute of Informatics
Personal website: http://group-mmm.org/~arcaini/
Contributions
2021
ASE
- Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems
- Muskit: A Mutation Analysis Tool for Quantum Software Testing
- Quito: a Coverage-Guided Test Generator for Quantum Programs
- Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
- Time-Aware Coverage Criteria for Testing of AI-Enabled Hybrid Control Systems
ASE 2021-profile
View general profile
View general profile