Generation of Java programs properties from test purposes.

Simone Hanazumi, Ana Cristina Vieira de Melo

Browse the full ISSTA paper archive.