@article{DBLP:journals/tse/BettsCDDK18,
author = {Adam Betts and
Nathan Chong and
Pantazis Deligiannis and
Alastair F. Donaldson and
Jeroen Ketema},
title = {Implementing and Evaluating Candidate-Based Invariant Generation},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {7},
pages = {631-650},
year = {2018},
doi = {10.1109/TSE.2017.2718516},
}