Tools |
Platform |
Property |
Title |
Description |
Falcon |
N/A | N/A |
Georgia Institute of Technology |
Falcon can pinpoint faulty data-access patterns in multi-threaded concurrent programs. The technique monitors memory-access sequences among threads, detects data-access patterns associated with a program pass/fail results, and reports data access patterns with suspiciousness scores.So far, Falcon is not available for downloading. |
Cooperative Bug Isolation |
Linux |
Free |
University of Wisconsin Madisontd>
| Cooperative Bug Isolation (CBI) improves software quality based on a feedback-directed approach. First, developers instrument target programs. Second, the general public use statistical methods to mine returned data for information about the root causes of failure. |
Crisp |
Eclipse plugin |
N/A |
Rutgers Univeristy |
Crisp allows for constructing intermediate versions of a Java program to locate faults. After revisions, if a regression test fails, Crisp allows the programmer to located faults by running this test on intermediate versions of this Java program.So far, Crisp is not available for downloading. |
Delta Debugging |
Linux |
Free |
Saarland University |
Delta Debugging isolates the relevant variables by systematically narrowing the state difference between a passing run and a failing run. Delta Debugging alters executions and check the outcome of the altered executions to determine what valas cause faults. |
Sober |
Linux |
Free |
University of Illinois at Urbana-Champaign |
SOBER can automatically localize the underlying software faults based on a statistical method. SOBER models the predicate evaluation in both correct and incorrect executions and detects faults by verifying whether its evaluation pattern in incorrect executions significantly diverges from that in correct ones. |
Tarantula |
N/A |
N/A |
Georgia Institute of Technology |
Tarantula helps people locate faults in their programs by showing what portions of the code are executed by passed and failed tests. First, Tarantula instruments target programs. Second, Tarantula collects statement coverage information during running test cases. Tarantula displays each source code statement using color models that reflect its relative success rate of its execution by the test suite.
So far, Tarantula is not available for downloading. |
Zoltar |
Linux |
Free |
Delft University of Technology |
Zoltar is a spectrum-based fault localization tool. It can detect various errors automatically by instrumenting the program under analysis with fault screeners. |