BibTex format
@article{Betts:2017:10.1109/TSE.2017.2718516,
author = {Betts, A and Chong, N and Deligiannis, P and Donaldson, AF and Ketema, J},
doi = {10.1109/TSE.2017.2718516},
journal = {IEEE Transactions on Software Engineering},
pages = {631--650},
title = {Implementing and evaluating candidate-based invariant generation},
url = {http://dx.doi.org/10.1109/TSE.2017.2718516},
volume = {44},
year = {2017}
}