Towards verification and testing of Java programs.

Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier

Browse the full SAC paper archive.