Identifying Infeasible GUI Test Cases Using Support Vector Machines and Induced Grammars | IEEE Conference Publication | IEEE Xplore