Export 24 results:
Filters: Author is Paolo Arcaini  [Clear All Filters]
2022
X. Wang, P. Arcaini, T. Yue and S. Ali. Generating Failing Test Suites for Quantum Programs with Search (hot off the press track at GECCO 2022) In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.PDF icon gecco_2022_hop_ssbse_2021.pdf (311.38 KB)
X. Wang, T. Yu, P. Arcaini, T. Yue and S. Ali. Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.PDF icon gecco_2022-3.pdf (989.61 KB)
J. Wu, P. Arcaini, T. Yue, S. Ali and H. Zhang. "On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering." The Empirical Software Engineering Journal (EMSE) 27, no. 6 (2022): 144.
T. Yue, P. Arcaini and S. Ali. "Quantum Software Testing: Challenges, Early Achievements, and Opportunities." the European Research Consortium for Informatics and Mathematics News (2022).
X. Wang, P. Arcaini, T. Yue and S. Ali. QuSBT: Search-Based Testing of Quantum Programs In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2022.PDF icon qusbt_icse22.pdf (941.89 KB)
T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes. Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Edited by J. Fitzgerald, T. Margaria, P. G. Larsen and J. Woodcock. LNCS, 2022.
2021
X. Wang, P. Arcaini, T. Yue and S. Ali. Application of Combinatorial Testing to Quantum Programs In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 2021.PDF icon combinatorial_testing_for_quantum_programs.pdf (374.91 KB)
X. Wang, P. Arcaini, T. Yue and S. Ali. Application of Combinatorial Testing to Quantum Programs In IEEE International Conference on Software Security and Reliability, Edited by F. Wotawa and X. Wang. IEEE, 2021.
S. Ali, P. Arcaini, X. Wang and T. Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs In IEEE International Conference on Software Testing, Verification and Validation (ICST), Edited by R. Hierons and F. Ferrari. IEEE, 2021.PDF icon quito.pdf (1021.96 KB)
S. Ali, P. Arcaini, X. Wang and T. Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.PDF icon quito.pdf (1021.96 KB)
X. Wang, P. Arcaini, T. Yue and S. Ali. Generating Failing Test Suites for Quantum Programs with Search In Symposium on Search Base Software Engineering 2021., 2021.PDF icon ssbse2021_qt.pdf (434.04 KB)
X. Wang, P. Arcaini, T. Yue and S. Ali. Generating Failing Test Suites for Quantum Programs with Search In 13th Symposium on Search-Based Software Engineering. LNCS, 2021.
E. Mendiluze, S. Ali, P. Arcaini and T. Yue. Muskit: A Mutation Analysis Tool for Quantum Software Testing. Technical Report, Simula Research Laboratory, 2021.PDF icon quantum_mutation_tool_ase_tr.pdf (317.39 KB)
E. Mendiluze, S. Ali, P. Arcaini and T. Yue. Muskit: A Mutation Analysis Tool for Quantum Software Testing In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.
X. Wang, P. Arcaini, T. Yue and S. Ali. Quito: a Coverage-Guided Test Generator for Quantum Programs In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.
X. Wang, P. Arcaini, T. Yue and S. Ali. Quito: a Coverage-Guided Test Generator for Quantum Programs In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2021.PDF icon quito_tool.pdf (820.6 KB)
T. Yue, P. Arcaini and S. Ali. Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Edited by J. Fitzgerald and P. G. Larsen. Vol. 12479. LNCS, Springer, Cham, 2021.PDF icon isola-2020.pdf (1005.44 KB)
2020
S. Ali, P. Arcaini and T. Yue. Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering? In 12th Symposium on Search-Based Software Engineering, Edited by A. Aleti and A. Panichella. LNCS, 2020.PDF icon ssbse_qi_preprint.pdf (347.59 KB)
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa. Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020, Edited by J. Micco and M. Pistoia. IEEE, 2020.
S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar and T. Yue. "Quality indicators in search-based software engineering: an empirical evaluation." ACM Transactions on Software Engineering and Methodology 29 (2020).
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa. Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
2019
N. Lee, P. Arcaini, S. Ali and F. Ishikawa. Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
S. Ali, P. Arcaini, I. Hasuo, F. Ishikawa and N. Lee. Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, Edited by G. Perrouin. New York, NY, USA: ACM, 2019.
2017
S. Wang, P. Arcaini and X. Devroey. The Proceeding of the 13th Workshop on Advances in Model Based Testing (A-MOST). Vol. 13. Tokyo, Japan: IEEE, 2017.