In-Circuit Mutation-Based Automatic Correction of Certain Design Errors Using SAT Mechanisms | IEEE Conference Publication | IEEE Xplore