Test Generation and Computational Complexity | IEEE Conference Publication | IEEE Xplore