Algorithm selection for software validation based on graph kernels. - Richter, Cedric; Hüllermeier, Eyke; Jakobs, Marie-Christine; Wehrheim, Heike (Automated Software Engineering, 2020)