default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo Arcaini
Person information
- affiliation: National Institute of Informatics, Tokyo, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Paolo Arcaini
, Ahmet Cetinkaya:
CRAG - a combinatorial testing-based generator of road geometries for ADS testing. Sci. Comput. Program. 238: 103171 (2024)- [j34]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26(3): 379-401 (2024) - [c133]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
CauMon: An Informative Online Monitor for Signal Temporal Logic. FM (2) 2024: 286-304 - [c132]Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). GECCO Companion 2024: 39-40 - [c131]Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). GECCO Companion 2024: 45-46 - [c130]Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao:
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO 2024 - [c129]Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang:
Technical Briefing on Deep Neural Network Repair. ICSE Companion 2024: 428-430 - [c128]Davide Li Calsi, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa:
Federated Repair of Deep Neural Networks. DeepTest@ICSE 2024 - [c127]Andrei Mancu, Thomas Laurent, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Rueckert:
More is Not Always Better: Exploring Early Repair of DNNs. DeepTest@ICSE 2024 - [c126]Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa:
Metamorphic Testing of an Autonomous Delivery Robots Scheduler. ICST 2024: 361-372 - [c125]Shaukat Ali, Paolo Arcaini, Aitor Arrieta:
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. ISoLA (5) 2024: 9-26 - [c124]Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini:
TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track. SBFT@ICSE 2024: 53-54 - [c123]Paolo Arcaini, Ahmet Cetinkaya:
CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track. SBFT@ICSE 2024: 71-72 - [c122]Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini:
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. SIGSOFT FSE Companion 2024: 80-91 - [c121]Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel:
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. SIGSOFT FSE Companion 2024: 399-410 - [c120]Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa:
Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. SANER 2024: 383-394 - [e6]Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e5]Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e4]Paolo Arcaini, Tao Yue, Erik M. Fredericks:
Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings. Lecture Notes in Computer Science 14415, Springer 2024, ISBN 978-3-031-48795-8 [contents] - [d7]Enrique Moguel, Juan Manuel Murillo, José García-Alonso, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer:
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material. Zenodo, 2024
- [i25]Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel:
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. CoRR abs/2402.12777 (2024) - [i24]Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer:
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. CoRR abs/2404.06825 (2024) - [i23]Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini:
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers. CoRR abs/2404.12892 (2024) - [i22]Shaukat Ali, Paolo Arcaini, Aitor Arrieta:
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems. CoRR abs/2407.18779 (2024) - [i21]Asmar Muqeet, Shaukat Ali, Paolo Arcaini:
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. CoRR abs/2408.00501 (2024) - [i20]Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård:
Assessing Quantum Extreme Learning Machines for Software Testing in Practice. CoRR abs/2410.15494 (2024) - 2023
- [j33]Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146: 110631 (2023) - [j32]Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini:
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. 230: 102996 (2023) - [j31]Paolo Arcaini, Andriy V. Miranskyy:
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023). ACM SIGSOFT Softw. Eng. Notes 48(4): 64-65 (2023) - [j30]Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1718-1731 (2023) - [j29]Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. 20(4): 2713-2730 (2023) - [j28]Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32(3): 58:1-58:31 (2023) - [j27]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49(4): 1842-1859 (2023) - [c119]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC 2023: 425-430 - [c118]Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang:
ARCH-COMP23 Category Report: Falsification. ARCH 2023: 151-169 - [c117]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CAV (1) 2023: 62-84 - [c116]Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC 2023: 1-10 - [c115]Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA 2023: 734-742 - [c114]Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang:
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023). GECCO Companion 2023: 47-48 - [c113]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. GECCO 2023: 1303-1311 - [c112]Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Adaptive Search-based Repair of Deep Neural Networks. GECCO 2023: 1527-1536 - [c111]Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS 2023: 177-186 - [c110]Paolo Arcaini, Ahmet Cetinkaya:
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT 2023: 41-42 - [c109]Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks. ICST 2023: 83-94 - [c108]Franz Scheuer, Alessio Gambi, Paolo Arcaini:
STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. IV 2023: 1-6 - [c107]Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa:
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE 2023: 1149-1161 - [c106]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE 2023: 2066-2069 - [c105]Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. QCE 2023: 161-164 - [e3]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [e2]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue, Xavier Devroey, Mónica Pinto, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [d6]Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. Zenodo, 2023 - [d5]Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. Zenodo, 2023 - [d4]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic (Artifact). Zenodo, 2023 - [d3]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic (Artifact). Zenodo, 2023 - [i19]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 abs/2303.03211 (2023) - [i18]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (2023) - [i17]Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Noise-Aware Quantum Software Testing. CoRR abs/2306.16992 (2023) - [i16]Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Test Case Minimization with Quantum Annealers. CoRR abs/2308.05505 (2023) - [i15]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR abs/2309.00119 (2023) - [i14]Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. CoRR abs/2309.13358 (2023) - [i13]Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR abs/2311.14461 (2023) - [i12]Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali:
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. CoRR abs/2311.16913 (2023) - [i11]Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini:
Guess What Quantum Computing Can Do for Test Case Optimization. CoRR abs/2312.15547 (2023) - 2022
- [j26]Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang:
On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering. Empir. Softw. Eng. 27(6): 144 (2022) - [j25]Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque:
Mutation-based analysis of queueing network performance models. J. Syst. Softw. 191: 111385 (2022) - [j24]Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang:
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21(4): 1273-1275 (2022) - [j23]Zhenya Zhang, Paolo Arcaini, Xuan Xie:
Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4421-4432 (2022) - [c104]Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP 2022: 204-221 - [c103]Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion 2022: 33-34 - [c102]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). GECCO Companion 2022: 47-48 - [c101]Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali:
Mutation-based test generation for quantum programs with multi-objective search. GECCO 2022: 1345-1353 - [c100]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion 2022: 173-177 - [c99]Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST 2022: 279-290 - [c98]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini:
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST 2022: 312-322 - [c97]Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21 - [c96]Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura:
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE 2022: 210:1-210:8 - [c95]Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa:
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE 2022: 88-100 - [c94]Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini:
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE 2022: 47-48 - [c93]Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque:
JSIMutate: understanding performance results through mutations. ESEC/SIGSOFT FSE 2022: 1721-1725 - [e1]Paolo Arcaini, Xavier Devroey, Alessandro Fantechi:
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022. ACM 2022, ISBN 978-1-4503-9604-2 [contents] - [i10]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. CoRR abs/2204.08561 (2022) - [i9]Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini:
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR abs/2209.05947 (2022) - [i8]Tao Yue, Paolo Arcaini, Shaukat Ali:
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022(128) (2022) - 2021
- [c92]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Efficient Computation of Robustness of Convolutional Neural Networks. AITest 2021: 21-28 - [c91]Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS 2021: 133-152 - [c90]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 2021: 215-238 - [c89]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) 2021: 595-618 - [c88]Zhenya Zhang, Paolo Arcaini:
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM 2021: 330-348 - [c87]Shaukat Ali, Paolo Arcaini, Tao Yue:
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). GECCO Companion 2021: 21-22 - [c86]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion 2021: 33-34 - [c85]Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali:
Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO 2021: 1106-1114 - [c84]Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue:
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST 2021: 13-23 - [c83]Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque:
Improving Mobile User Interface Testing with Model Driven Monkey Search. ICST Workshops 2021: 138-145 - [c82]Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST 2021: 295-305 - [c81]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST 2021: 442-447 - [c80]Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE 2021: 264-275 - [c79]Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque:
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops 2021: 197-202 - [c78]Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE 2021: 279-291 - [c77]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE 2021: 1237-1241 - [c76]Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE 2021: 1266-1270 - [c75]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE 2021: 1327-1331 - [c74]Stefan Klikovits, Paolo Arcaini:
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) 2021: 322-326 - [c73]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399 - [c72]Stefan Klikovits, Paolo Arcaini:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC 2021: 1-6 - [c71]Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini:
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. QRS 2021: 167-178 - [c70]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Application of Combinatorial Testing to Quantum Programs. QRS 2021: 179-188 - [c69]Stefan Klikovits, Paolo Arcaini:
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC 2021: 503-518 - [c68]