jPET: An Automatic Test-Case Generator for Java. - Elvira Albert; Israel Cabanas; Antonio Flores-Montoya; Miguel Gómez-Zamalloa; Sergio Gutierrez (WCRE, 2011)