Preparation and Utilization of Mixed States for Testing Quantum Programs. - Li, Yuechen; Cai, Kai-Yuan; Yin, Beibei (ACM Transactions on Software Engineering & Methodology, 2025)