Export 17 results:
Filters: Author is Paolo Arcaini  [Clear All Filters]
2022
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) (2022).
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 44th International Conference on Software Engineering (ICSE 2022), Edited by D. Hao and L. Zhang. IEEE/ACM, 2022.
2021
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)
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.
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)
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.