Automatic generation of test case based on GATS algorithm | IEEE Conference Publication | IEEE Xplore