Design and Simulation of Automated Quantum Error Correction Protocols for Encoded Single Qubits