Navigation
Home
Conferences
Future Conferences
Past Conferences
Proceedings
IJCAI 2023 Proceedings
IJCAI 2022 Proceedings
All Proceedings
Awards
Trustees/officers
Current trustees
Trustees Elect
IJCAI Secretariat
IJCAI Sponsorship and Publicity Officers
IJCAI Team
Local Arrangements Chairs
Former Trustees serving on the Executive Committee
Other Former Officers
AI Journal
About
About IJCAI
Contact Information
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
Video #1 Length : 00:01:29
Video #2 Length : 00:10:56
