Training binary classifiers as data structure invariants

@inproceedings{Molina-al:ICSE19,
  author    = {Facundo Molina and
               Renzo Degiovanni and
               Pablo Ponzio and
               Germ{\'{a}}n Regis and
               Nazareno Aguirre and
               Marcelo F. Frias},
  title     = {Training binary classifiers as data structure invariants},
  booktitle = {ICSE},
  pages     = {759--770},
  publisher = {{IEEE} / {ACM}},
  year      = {2019},
}