'ATG' test generation software | IEEE Conference Publication | IEEE Xplore