Behavioral-Level Test Development | IEEE Conference Publication | IEEE Xplore