Trace Abstraction: A Novel Method to Enhance Fault Detection in Semiconductor Manufacturing Processes with An Optimization Approach | IEEE Conference Publication | IEEE Xplore