VART: A Tool for the Automatic Detection of Regression Faults
classification
💻 cs.SE
keywords
faultsvartregressiontoolachievesanalysisapplication-specificautomatic
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.