TY  - RPRT
TI  - Exploring the Link Between Test Suite Quality and Automatic Specification Inference
AU  - Luke Chircop
AU  - Christian Colombo
AU  - Mark Micallef
PY  - 2017
DO  - 10.4204/eptcs.254.4
UR  - https://arxiv.org/abs/1708.07231
ID  - 1708.07231
ER  -