AuthorsG. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
TitleAutomated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
AfilliationSoftware Engineering
Project(s)Department of Validation Intelligence for Autonomous Software Systems, Testing of Learning Robots (T-LARGO) , Testing of Learning Robots (T-Largo)
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