Dependency criteria on regulated inputs for buffer overflow approximation | IEEE Conference Publication | IEEE Xplore