TY  - CPAPER
AU  - Molina, Facundo
AU  - Degiovanni, Renzo
AU  - Ponzio, Pablo
AU  - Regis, Germán
AU  - Aguirre, Nazareno
AU  - Frias, Marcelo
PY  - 2019
DO  - 10.1109/ICSE.2019.00084
UR  - https://hdl.handle.net/20.500.14352/133677
LA  - eng
TI  - Training Binary Classifiers as Data Structure Invariants
TY  - conference paper
ER  -