Functional Test-Cost Reduction Based on Optimization Modeling and Congestion Control | IEEE Conference Publication | IEEE Xplore