Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Training binary classifiers as data structure invariants
ICSE, 2019.
@inproceedings{ICSE-2019-MolinaDPRAF,
acmid = "3339602",
author = "Facundo Molina and Renzo Degiovanni and Pablo Ponzio and Germán Regis and Nazareno Aguirre and Marcelo F. Frias",
booktitle = "{Proceedings of the 41st International Conference on Software Engineering}",
doi = "10.1109/ICSE.2019.00084",
isbn = "978-1-7281-0869-8",
pages = "759--770",
publisher = "{IEEE / ACM}",
title = "{Training binary classifiers as data structure invariants}",
year = 2019,
}
Tags: