Diagnostic Test Generation for silicon diagnosis with an incremental learning framework based on search state compatibility | IEEE Conference Publication | IEEE Xplore