Diagnostic Test Generation for silicon diagnosis with an incremental learning framework based on search state compatibility.