TY  - RPRT
TI  - Automatic Synthesis of Test Cases to Identify Software Redundancy
AU  - Matteo Brunetto
PY  - 2014
UR  - https://arxiv.org/abs/1411.4327
ID  - 1411.4327
ER  -