Malte Lochau, Ina Schaefer. Model-Based Testing of Quantum Computations. In Marieke Huisman, Falk Howar, editors, Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Volume 15153 of Lecture Notes in Computer Science, pages 127-147, Springer, 2024. [doi]
Abstract is missing.