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.
Pastore, F., Mariani, L. (2017). VART: a tool for the automatic detection of regression faults. In Proceedings of the 11th Joint Meeting on Foundations of Software Engineering (pp.964-968) [10.1145/3106237.3122819].
VART: a tool for the automatic detection of regression faults
Pastore, F;Mariani, L
2017
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.