Gotlieb, Arnaud

13 publications

JAIR 2025 A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar

JAIR 2024 Query-Driven Qualitative Constraint Acquisition Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

IJCAI 2022 Automated Program Analysis: Revisiting Precondition Inference Through Constraint Acquisition Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb

AAAI 2022 GEQCA: Generic Qualitative Constraint Acquisition Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

AAAI 2021 Encoding Temporal and Spatial Vessel Context Using Self-Supervised Learning Model (Student Abstract) Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb

AAAI 2020 Software Testing for Machine Learning Dusica Marijan, Arnaud Gotlieb

AAAI 2019 Rotational Diversity in Multi-Cycle Assignment Problems Helge Spieker, Arnaud Gotlieb, Morten Mossige

AAAI 2018 Different Cycle, Different Assignment: Diversity in Assignment Problems with Multiple Cycles Helge Spieker, Arnaud Gotlieb, Morten Mossige

AAAI 2018 Discovering Program Topoi Through Clustering Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar

AAAI 2017 Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, Roberta Gori

IJCAI 2017 Efficient and Complete FD-Solving for Extended Array Constraints Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb

AAAI 2016 Automated Regression Testing Using Constraint Programming Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon

IJCAI 2016 Generating Tests for Robotized Painting Using Constraint Programming Morten Mossige, Arnaud Gotlieb, Hein Meling