Simone Hanazumi, Ana Cristina Vieira de Melo. Generation of Java programs properties from test purposes. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 362-365, ACM, 2013. [doi]
Abstract is missing.