Export 17 results:
Filters: Author is Paolo Arcaini [Clear All Filters]
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering." The Empirical Software Engineering Journal (EMSE) (2022)."
Quantum Software Testing: Challenges, Early Achievements, and Opportunities." the European Research Consortium for Informatics and Mathematics News (2022)."
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.
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.
Generating Failing Test Suites for Quantum Programs with Search In 13th Symposium on Search-Based Software Engineering. LNCS, 2021.
Muskit: A Mutation Analysis Tool for Quantum Software Testing. Technical Report, Simula Research Laboratory, 2021.
Muskit: A Mutation Analysis Tool for Quantum Software Testing In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.
Quito: a Coverage-Guided Test Generator for Quantum Programs In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.
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.
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.
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.
Quality indicators in search-based software engineering: an empirical evaluation." ACM Transactions on Software Engineering and Methodology 29 (2020)."
Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
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.
The Proceeding of the 13th Workshop on Advances in Model Based Testing (A-MOST). Vol. 13. Tokyo, Japan: IEEE, 2017.