Towards verification and testing of Java programs
Ana C. V. de Melo, Paulo Roberto de Araújo França Nunes, Kleber S. Xavier · 2008
Testing object-oriented programs is still a hard task, despite many studies on criteria to better cover the test space. Test criteria establish requirements one want to achieve in testing programs to help in finding software defects. On the other hand, program verification guarantees that a program preserves its specification but it is not very straightforwardly applicable in many cases. Both program testing and verification are expensive tasks and could be used to complement each other.