ESC/Java2 2.0 Beta 5

ESC/Java2 is an Extended Static Checker for Java.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in ESC/Java2 2.0 Beta 5:

  • There are no major functional changes, but some bugfixes and cleanup of existing features.
  • This is intended to be the final release and the first stable release.
Read full changelog
send us
an update
LICENSE TYPE:
Other/Proprietary License with Source
USER RATING:
3.3/5 16
DEVELOPED BY:
KindSoftware
HOMEPAGE:
secure.ucd.ie
CATEGORY:
ROOT \ Programming \ Quality Assurance and Testing
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.

Last updated on November 6th, 2008

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

Add your review!

SUBMIT