Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines | IEEE Conference Publication | IEEE Xplore