@inproceedings{inproceedings93710e84,
title   = {Generation of Java programs properties from test purposes},
author = {Hanazumi , Simone and Melo, Ana Cristina Vieira de},
year = {2013},
doi = {10.1145/2483760.2492400},
publisher = {ACM},
booktitle   = {International Symposium on Software Testing and Analysis - ISSTA}
}