VART: A Tool for the Automatic Detection of Regression Faults
This addresses the issue of incomplete fault detection in software testing for developers, but it is incremental as it builds on existing analysis techniques.
The authors tackled the problem of detecting regression faults missed by test suites, including those violating application-specific properties, and developed VART, a tool that combines static and dynamic analysis to achieve this.
In this paper we present VART, a tool for automatically revealing regression faults missed by regression test suites. Interestingly, VART is not limited to faults causing crashing or exceptions, but can reveal faults that cause the violation of application-specific correctness properties. VART achieves this goal by combining static and dynamic program analysis.