Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier. Towards verification and testing of Java programs. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 730-734, ACM, 2008. [doi]
Abstract is missing.