@inproceedings{inproceedings758ecf55,
title   = {Towards verification and testing of Java programs},
author = {Melo, Ana Cristina Vieira de and Nunes, Paulo Roberto de Araújo França and Xavier, Kleber da Silva},
year = {2008},
doi = {10.1145/1363686.1363858},
publisher = {ACM},
booktitle   = {Symposium on Applied Computing - SAC}
}