Behavioral test generation using mixed integer nonlinear programming | IEEE Conference Publication | IEEE Xplore