Functional Test-Cost Reduction Based on Fault Tree Analysis and Binary Optimization | IEEE Conference Publication | IEEE Xplore