A testability growth model based on evidential reasoning with nonlinear optimization | IEEE Conference Publication | IEEE Xplore