Training Binary Classifiers as Data Structure Invariants

Molina, FacundoDegiovanni, RenzoPonzio, PabloRegis, GermánAguirre, NazarenoFrias, Marcelo2026-03-022026-03-02201910.1109/ICSE.2019.00084https://hdl.handle.net/20.500.14352/133677engTraining Binary Classifiers as Data Structure Invariantsconference paperopen accessSoftware1203.17 Informática