Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers