|
About:
Java PathFinder is a system to verify executable
Java bytecode programs. In its basic form, it is
a Java Virtual Machine (JVM) that is used as an
explicit state software model checker,
systematically exploring all potential execution
paths of a program to find violations of
properties like deadlocks or unhandled
exceptions. Unlike traditional debuggers, it
reports the whole execution path that leads to a
defect. It is especially suitable to find
hard-to-test concurrency defects in multithreaded
programs. The system is unique in terms of its
configurability, enabling adaptation to the needs
of specific test applications with respect to the
properties to check, and with respect to
abstraction mechanisms that can be used to improve
scalability.
Author:
refactorator [contact developer]
Homepage:
http://javapathfinder.sourceforge.net
Trove categories:
[change]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 25528)
» Popularity: 0.36% (Rank 15692)
 
(click to enlarge graphs)
Record hits: 2,830
URL hits: 466
Subscribers: 14
|
|
