TY  - RPRT
TI  - VART: A Tool for the Automatic Detection of Regression Faults
AU  - Fabrizio Pastore
AU  - Leonardo Mariani
PY  - 2017
DO  - 10.1145/3106237.3122819
UR  - https://arxiv.org/abs/1708.02052
ID  - 1708.02052
ER  -