Training binary classifiers as data structure invariants.

Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias

Browse the full ICSE paper archive.