In-Circuit Mutation-Based Automatic Correction of Certain Design Errors Using SAT Mechanisms

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.