Software testing: A survey and tutorial on white and black-box testing of C/C++ programs | IEEE Conference Publication | IEEE Xplore