An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability | IEEE Conference Publication | IEEE Xplore