Payman Behnam, Bijan Alizadeh. In-Circuit Mutation-Based Automatic Correction of Certain Design Errors Using SAT Mechanisms. In 24th IEEE Asian Test Symposium, ATS 2015, Mumbai, India, November 22-25, 2015. pages 199-204, IEEE, 2015. [doi]
Abstract is missing.