"Generation of Java programs properties from test purposes."

Simone Hanazumi, Ana Cristina Vieira de Melo (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics