Bijan Alizadeh, Seyyed Reza Sharafinejad. Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation. IEEE Trans. on CAD of Integrated Circuits and Systems, 38(2):245-252, 2019. [doi]
Abstract is missing.