Package: wnpp Severity: wishlist * Package name : jpf Version : 29 Upstream author : The National Aeronautics and Space Administration * URL : http://babelfish.arc.nasa.gov/trac/jpf/ * License : Apache 2.0 Programming Lang: Java Description : Java Pathfinder virtual machine for Java
Java Pathfinder is a virtual machine for Java bytecode. It is a customizable execution environment for verification of Java bytecode programs. Its main application is in software model checking. The tool can find and explain defects, collect "deep" runtime information like coverage metrics, deduce interesting test vectors and create corresponding test drivers, and other.
signature.asc
Description: This is a digitally signed message part
