AuthorsG. Menguy, S. Bardin, A. Gotlieb, and N. Lazaar
TitleAutomated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
AfilliationSoftware Engineering
Project(s)Department of Validation Intelligence for Autonomous Software Systems
Publication TypeProceedings, refereed
Year of Publication2022
Conference Name31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)
Citation Key42448

Contact person