ESC/Java2

2.0 Beta 5 Other/Proprietary License with Source
3.3/5 16

  813 downloads

ESC/Java2 is an Extended Static Checker for Java.

description

download

specs

changelog

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. ESC/Java2 reasons about Java programs that have (optional) annotations written in JML.
read more   
Last updated on November 6th, 2008

#Java testing #static checker #programming errors #ESC #Java #quality #testing

0 User reviews so far.

SUBMIT