On the Inference of Automatic Generation of Software Tests | IEEE Conference Publication | IEEE Xplore