Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference.