VART: A Tool for the Automatic Detection of Regression Faults

TL;DR

VART is an automated tool that detects regression faults, including subtle correctness violations, by combining static and dynamic analysis techniques, enhancing fault detection beyond traditional crash or exception scenarios.

Contribution

The paper introduces VART, a novel tool that automatically detects a broader range of regression faults using combined static and dynamic analysis methods.

Findings

VART successfully detects faults missed by traditional regression testing.

It reveals application-specific correctness violations.

The tool enhances fault detection capabilities in regression testing.

Abstract

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.