Ana Cristina Vieira de Melo Paulo R. F. Nunes Kleber S. Xavier Towards verification and testing of Java programs. 730-734 2008 SAC http://doi.acm.org/10.1145/1363686.1363858 conf/sac/2008 db/conf/sac/sac2008.html#MeloNX08