Towards Constraing-Based Local Search for Automatic Test Data Generation. - Arnaud Gotlieb; Nadjib Lazaar; Yahia Lebbah (ICST Workshops, 2008)

On Testing Constraint Programs. - Nadjib Lazaar; Arnaud Gotlieb; Yahia Lebbah (CP, 2010)

Fault Localization in Constraint Programs. - Nadjib Lazaar; Arnaud Gotlieb; Yahia Lebbah (ICTAI (1), 2010)

CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs. - Nadjib Lazaar (ICST Workshops, 2011)

A Framework for the Automatic Correction of Constraint Programs. - Nadjib Lazaar; Arnaud Gotlieb; Yahia Lebbah (ICST, 2011)

A CP framework for testing CP. - Nadjib Lazaar; Arnaud Gotlieb; Yahia Lebbah (Constraints An Int. J., 2012)

Constraint-based reachability - Arnaud Gotlieb; Tristan Denmat; Nadjib Lazaar (Infinity, 2012)

Constraint Acquisition via Partial Queries. - Christian Bessiere; Remi Coletta; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (IJCAI, 2013)

Boosting Constraint Acquisition via Generalization Queries. - Christian Bessiere; Remi Coletta; Abderrazak Daoudi; Nadjib Lazaar; Younes Mechqrane; El-Houssine Bouyakhf (ECAI, 2014)

Solve a Constraint Problem without Modeling It. - Christian Bessiere; Remi Coletta; Nadjib Lazaar (ICTAI, 2014)

Detecting Types of Variables for Generalization in Constraint Acquisition. - Abderrazak Daoudi; Nadjib Lazaar; Younes Mechqrane; Christian Bessiere; El-Houssine Bouyakhf (ICTAI, 2015)

Multiple Constraint Acquisition. - Robin Arcangioli; Nadjib Lazaar (CPCR+ITWP@IJCAI, 2015)

Towards an MDD-based Representation of Preferences. - Noureddine Aribi; Souhila Kaci; Nadjib Lazaar (CPCR+ITWP@IJCAI, 2015)

A Global Constraint for Closed Frequent Pattern Mining. - Nadjib Lazaar; Yahia Lebbah; Samir Loudni; Mehdi Maamar; Valentin Lemière; Christian Bessiere; Patrice Boizumault (CP, 2016)

Multiple Constraint Acquisition. - Robin Arcangioli; Christian Bessiere; Nadjib Lazaar (IJCAI, 2016)

Constraint Acquisition with Recommendation Queries. - Abderrazak Daoudi; Younes Mechqrane; Christian Bessiere; Nadjib Lazaar; El-Houssine Bouyakhf (IJCAI, 2016)

A global constraint for closed itemset mining. - Mehdi Maamar; Nadjib Lazaar; Samir Loudni; Yahia Lebbah (CoRR, 2016)

New Approaches to Constraint Acquisition. - Christian Bessiere; Abderrazak Daoudi; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Younes Mechqrane; Nina Narodytska; Claude-Guy Quimper; Toby Walsh (Data Mining and Constraint Programming, 2016)

Multiple Fault Localization Using Constraint Programming and Pattern Mining. - Noureddine Aribi; Mehdi Maamar; Nadjib Lazaar; Yahia Lebbah; Samir Loudni (ICTAI, 2017)

Constraint acquisition. - Christian Bessiere; Frédéric Koriche; Nadjib Lazaar; Barry O'Sullivan (Artif. Intell., 2017)

Fault localization using itemset mining under constraints. - Mehdi Maamar; Nadjib Lazaar; Samir Loudni; Yahia Lebbah (Autom. Softw. Eng., 2017)

Discovering Program Topoi Through Clustering. - Carlo Ieva; Arnaud Gotlieb; Souhila Kaci; Nadjib Lazaar (AAAI, 2018)

User's Constraints in Itemset Mining. - Christian Bessiere; Nadjib Lazaar; Mehdi Maamar (CP, 2018)

Time-Bounded Query Generator for Constraint Acquisition. - Hajar Ait Addi; Christian Bessiere; Redouane Ezzahir; Nadjib Lazaar (CPAIOR, 2018)

Users Constraints in Itemset Mining. - Christian Bessiere; Nadjib Lazaar; Yahia Lebbah; Mehdi Maamar (CoRR, 2018)

Discovering Program Topoi via Hierarchical Agglomerative Clustering. - Carlo Ieva; Arnaud Gotlieb; Souhila Kaci; Nadjib Lazaar (IEEE Trans. Reliab., 2018)

A Multiple Fault Localization Approach Based on Multicriteria Analytical Hierarchy Process. - Noureddine Aribi; Nadjib Lazaar; Yahia Lebbah; Samir Loudni; Mehdi Maamar (AITest, 2019)

Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. - Mathieu Collet; Arnaud Gotlieb; Nadjib Lazaar; Morten Mossige (AITest, 2019)

Deploying Smart Program Understanding on a Large Code Base. - Carlo Ieva; Arnaud Gotlieb; Souhila Kaci; Nadjib Lazaar (AITest, 2019)

Constraint Programming for Mining Borders of Frequent Itemsets. - Mohamed-Bachir Belaid; Christian Bessiere; Nadjib Lazaar (IJCAI, 2019)

Constraint Programming for Association Rules. - Mohamed-Bachir Belaid; Christian Bessiere; Nadjib Lazaar (SDM, 2019)

RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. - Mathieu Collet; Arnaud Gotlieb; Nadjib Lazaar; Mats Carlsson; Dusica Marijan; Morten Mossige (CP, 2020)

Partial Queries for Constraint Acquisition. - Christian Bessiere; Clément Carbonnel; Anton Dries; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Kostas Stergiou 001; Dimosthenis C. Tsouros; Toby Walsh (CoRR, 2020)

Computational Complexity of Three Central Problems in Itemset Mining. - Christian Bessiere; Mohamed-Bachir Belaid; Nadjib Lazaar (CoRR, 2020)

Parallel Constraint Acquisition. - Nadjib Lazaar (AAAI, 2021)

Constraint Programming for Itemset Mining with Multiple Minimum Supports. - Mohamed-Bachir Belaid; Nadjib Lazaar (ICTAI, 2021)

Frequent Itemset Mining with Multiple Minimum Supports: a Constraint-based Approach. - Mohamed-Bachir Belaid; Nadjib Lazaar (CoRR, 2021)

Solve Optimization Problems with Unknown Constraint Networks. - Mohamed-Bachir Belaid; Arnaud Gotlieb; Nadjib Lazaar (CoRR, 2021)

Contraintes et Apprentissage. - Nadjib Lazaar (2022)

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

Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données. - Nassim Belmecheri; Noureddine Aribi; Nadjib Lazaar; Yahia Lebbah; Samir Loudni (EGC, 2022)

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. - Grégoire Menguy; Sébastien Bardin; Nadjib Lazaar; Arnaud Gotlieb (IJCAI, 2022)

Active Disjunctive Constraint Acquisition. - Grégoire Menguy; Sébastien Bardin; Nadjib Lazaar; Arnaud Gotlieb (KR, 2023)

Boosting the Learning for Ranking Patterns. - Nassim Belmecheri; Noureddine Aribi; Nadjib Lazaar; Yahia Lebbah; Samir Loudni (Algorithms, 2023)

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2023)

Learning constraints through partial queries. - Christian Bessiere; Clément Carbonnel; Anton Dries; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Kostas Stergiou 001; Dimosthenis C. Tsouros; Toby Walsh (Artif. Intell., 2023)

Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2024)

Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2024)

Evaluating Human Trajectory Prediction with Metamorphic Testing. - Helge Spieker; Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar (CoRR, 2024)

Query-driven Qualitative Constraint Acquisition. - Mohamed-Bachir Belaid; Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (J. Artif. Intell. Res., 2024)

Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. - Christian Bessiere; Clément Carbonnel; Anton Dries; Emmanuel Hebrard; George Katsirelos; Nadjib Lazaar; Nina Narodytska; Claude-Guy Quimper; Kostas Stergiou 001; Dimosthenis C. Tsouros; Toby Walsh (Artif. Intell., 2024)

Empowering UAV Communications with AI-Assisted Software-Defined Networks: A Review on Performance, Security, and Efficiency. - Mohamed Amine Ould Rabah; Hamza Drid; Mohamed Rahouti; Nadjib Lazaar (J. Netw. Syst. Manag., 2024)

MED-TAID : Un outil pour évaluer la confiance des systèmes médicaux intelligents. - Clotilde Brayé; Aurélien Bricout; Arnaud Gotlieb; Nadjib Lazaar; Quentin Vallet (EGC, 2025)

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference. - Grégoire Menguy; Sébastien Bardin; Arnaud Gotlieb; Nadjib Lazaar (J. Artif. Intell. Res., 2025)

Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2025)