Automated Test Generation for Java Generics