Specification-Driven Unit Test Generation for Java Generic Classes.

Francisco Rebello de Andrade, Joo Pascoal Faria, Antnia Lopes, Ana C. R. Paiva

Browse the full IFM paper archive.