@Inproceedings{EPTCS254.4, author = {Chircop, Luke and Colombo, Christian and Micallef, Mark}, year = {2017}, title = {Exploring the Link Between Test Suite Quality and Automatic Specification Inference}, editor = {Francalanza, Adrian and Pace, Gordon J.}, booktitle = {{\rm Proceedings Second International Workshop on} Pre- and Post-Deployment Verification Techniques, {\rm Torino, Italy, 19 September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {254}, publisher = {Open Publishing Association}, pages = {44-56}, doi = {10.4204/EPTCS.254.4}, }