SofCheck has released version 2.0 of its Inspector(tm) for Java(tm)
for a free trail download.  SofCheck Inspector for Java provides
precise static error detection and generates as-built documentation in
the form of pre- and postconditions using advanced optimizing compiler
technology.  The Inspector is designed to analyze every line of Java
code, considering all paths through the code and all possible input
values.  It identifies likely places where run-time checks might fail,
user-written assertions might be violated, method preconditions might
not be satisified, or race conditions (unsafe concurrent access to
data from multiple threads) might occur.  SofCheck Inspector performs
both within-class and cross-class analysis.

SofCheck Inspector also supports dynamic testing by identifying the
minimal number of distinct input values ("test vectors") for each Java
method needed to ensure full path coverage by a set of run-time tests.

Download:  http://store.esellerate.net/sofcheck/inspector-trial

More information:   http://www.sofcheck.com

Contact: info@sofcheck.com

SofCheck, Inc.
11 Cypress Drive
Burlington, MA  01803
+1-781-750-8068