| 2026 | COMPSAC | Seeing Metamorphic Relations Families as Types: Towards a New Foundation of Metamorphic Testing. | Arnaud Gotlieb, Mathieu Le Louedec, Helge Spieker |
| 2026 | COMPSAC | Learning a Bayesian Surrogate Model for Measuring Test Coverage in Automated Driving Systems. | Pierre-Samuel Grau-Hamard, Faouzi Adjed, Arnaud Gotlieb, Mohamed Ibn Khedher |
| 2026 | COMPSAC | Metamorphic Testing with the Rashomon Set: Explanation Faithfulness in Machine Learning. | Helge Spieker, Jrn Eirik Betten, Arnaud Gotlieb |
| 2026 | CP | ScenaGen: A CP Model for Grounding Qualitative Driving Scenarios. | Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker |
| 2026 | ICAART | Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance. | Divya Acharya, Pierre Bernab, Antoine Chevrot, Helge Spieker, Arnaud Gotlieb, Bruno Legeard |
| 2026 | SAC | Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming. | Clotilde Bray, Aurlien Bricout, Arnaud Gotlieb, Nadjib Lazaar, Quentin Vallet |
| 2025 | ICTAI | Bounded PCTL Model Checking of Large Language Model Outputs. | Dennis Gross, Helge Spieker, Arnaud Gotlieb |
| 2025 | ICTAI | Prompting for Performance: Exploring LLMs for Configuring Software. | Helge Spieker, Tho Matricon, Nassim Belmecheri, Jrn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher |
| 2024 | AST | Testing for Fault Diversity in Reinforcement Learning. | Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher |
| 2024 | ICAART | Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. | Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch |
| 2024 | ISSTA | Policy Testing with MDPFuzz (Replicability Study). | Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher |
| 2023 | KR | Active Disjunctive Constraint Acquisition. | Grgoire Menguy, Sbastien Bardin, Nadjib Lazaar, Arnaud Gotlieb |
| 2023 | SAFECOMP | Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. | Arnaud Gotlieb, Morten Mossige, Helge Spieker |
| 2022 | AAAI | GEQCA: Generic Qualitative Constraint Acquisition. | Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker |
| 2022 | IJCAI | Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. | Grgoire Menguy, Sbastien Bardin, Nadjib Lazaar, Arnaud Gotlieb |
| 2022 | ICST | Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. | Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker |
| 2021 | AAAI | Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). | Pierre Bernab, Helge Spieker, Bruno Legeard, Arnaud Gotlieb |
| 2021 | ICST | Summary of: Adaptive Metamorphic Testing with Contextual Bandits. | Helge Spieker, Arnaud Gotlieb |
| 2020 | AAAI | Software Testing for Machine Learning. | Dusica Marijan, Arnaud Gotlieb |
| 2020 | CP | RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. | Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige |
| 2020 | ECAI | Opening the software engineering toolbox for the assessment of trustworthy AI. | Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernab, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker |
| 2019 | AAAI | Rotational Diversity in Multi-Cycle Assignment Problems. | Helge Spieker, Arnaud Gotlieb, Morten Mossige |
| 2018 | AAAI | Discovering Program Topoi Through Clustering. | Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar |
| 2018 | AAAI | Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles. | Helge Spieker, Arnaud Gotlieb, Morten Mossige |
| 2018 | ICTAI | Stratified Constructive Disjunction and Negation in Constraint Programming. | Arnaud Gotlieb, Dusica Marijan, Helge Spieker |
| 2017 | AAAI | Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. | Arnaud Gotlieb, Marine Louarn, Mari Nygrd, Toms Ruiz-Lpez, Sagar Sen, Roberta Gori |
| 2017 | CP | Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. | Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson |
| 2017 | IJCAI | Efficient and Complete FD-solving for extended array constraints. | Quentin Plazar, Mathieu Acher, Sbastien Bardin, Arnaud Gotlieb |
| 2017 | ICST | TITAN: Test Suite Optimization for Highly Configurable Software. | Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva |
| 2017 | ISSTA | Reinforcement learning for automatic test case prioritization and selection in continuous integration. | Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige |
| 2016 | AAAI | Automated Regression Testing Using Constraint Programming. | Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon |
| 2016 | IJCAI | Generating Tests for Robotized Painting Using Constraint Programming. | Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2016 | ICSoft | Software Product Line Test Suite Reduction with Constraint Optimization. | Mats Carlsson, Arnaud Gotlieb, Dusica Marijan |
| 2016 | ICSoft | A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing. | Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon |
| 2015 | ICSoft | Towards More Relational Feature Models. | Arnaud Gotlieb, Dusica Marijan, Sagar Sen |
| 2015 | SPLC | Synthesis of attributed feature models from product descriptions. | Guillaume Bcan, Razieh Behjati, Arnaud Gotlieb, Mathieu Acher |
| 2014 | CP | Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. | Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
| 2014 | CP | Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. | Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2014 | ISSTA | FLOWER: optimal test suite reduction as a network maximum flow. | Arnaud Gotlieb, Dusica Marijan |
| 2014 | SPLC | Multi-objective test prioritization in software product line testing: an industrial case study. | Shuai Wang, David Buchmann, Shaukat Ali, Arnaud Gotlieb, Dipesh Pradhan, Marius Liaaen |
| 2014 | SSBSE | Random-Weighted Search-Based Multi-objective Optimization Revisited. | Shuai Wang, Shaukat Ali, Arnaud Gotlieb |
| 2013 | CaiSE | Testing a Data-Intensive System with Generated Data Interactions - The Norwegian Customs and Excise Case Study. | Sagar Sen, Arnaud Gotlieb |
| 2013 | FASE | Scenario Realizability with Constraint Optimization. | Rouwaida Abdallah, Arnaud Gotlieb, Loc Hlout, Claude Jard |
| 2013 | GECCO | Minimizing test suites in software product lines using weight-based genetic algorithms. | Shuai Wang, Shaukat Ali, Arnaud Gotlieb |
| 2013 | ICST | Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. | Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb |
| 2013 | ICST | Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. | Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2013 | ISSRE | Stress testing of task deadlines: A constraint programming approach. | Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
| 2013 | MODELS | Automated Product Line Methodologies to Support Model-Based Testing. | Shuai Wang, Shaukat Ali, Arnaud Gotlieb |
| 2013 | MODELS | Automated Test Case Selection Using Feature Model: An Industrial Case Study. | Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen |
| 2013 | RE | Modelling data interaction requirements: A position paper. | Sagar Sen, Jose Luis de la Vara, Arnaud Gotlieb, Arnab Sarkar |
| 2013 | SPLC | Practical pairwise testing for software product lines. | Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu |
| 2012 | CPAIOR | fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays. | Sbastien Bardin, Arnaud Gotlieb |
| 2012 | FM | A Certified Constraint Solver over Finite Domains. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2012 | ICST | Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. | Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand |
| 2012 | ICST | Minimum Pairwise Coverage Using Constraint Programming Techniques. | Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry |
| 2012 | MODELS | Automatic selection of test execution plans from a video conferencing system product line. | Shuai Wang, Arnaud Gotlieb, Marius Liaaen, Lionel C. Briand |
| 2012 | TAP | A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2011 | ICST | A Framework for the Automatic Correction of Constraint Programs. | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2011 | ICTAI | Filtering by ULP Maximum. | Matthieu Carlier, Arnaud Gotlieb |
| 2011 | ISSRE | PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. | Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb |
| 2010 | CP | On Testing Constraint Programs. | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2010 | ICSoft | Constraint Reasoning in FocalTest. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2010 | ICSoft | FocalTest: A Constraint Programming Approach for Property-Based Testing. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2010 | ICST | Explanation-Based Generalization of Infeasible Path. | Mickal Delahaye, Bernard Botella, Arnaud Gotlieb |
| 2010 | ICTAI | Fault Localization in Constraint Programs. | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2010 | ISSRE | Constraint-Based Test Input Generation for Java Bytecode. | Florence Charreteur, Arnaud Gotlieb |
| 2009 | COMPSAC | Towards a Theory for Testing Non-terminating Programs. | Arnaud Gotlieb, Matthieu Petit |
| 2009 | ICST | Euclide: A Constraint-Based Testing Framework for Critical C Programs. | Arnaud Gotlieb |
| 2008 | COMPSAC | Constraint Reasoning in Path-Oriented Random Testing. | Arnaud Gotlieb, Matthieu Petit |
| 2008 | ICST | Towards Constraing-Based Local Search for Automatic Test Data Generation. | Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah |
| 2007 | CP | An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. | Tristan Denmat, Arnaud Gotlieb, Mireille Ducass |
| 2007 | CP | Boosting Probabilistic Choice Operators. | Matthieu Petit, Arnaud Gotlieb |
| 2007 | ISSRE | Improving Constraint-Based Testing with Dynamic Linear Relaxations. | Tristan Denmat, Arnaud Gotlieb, Mireille Ducass |
| 2006 | ISSTA | Path-oriented random testing. | Arnaud Gotlieb, Matthieu Petit |
| 2006 | PADL | Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. | Sandrine-Dominique Gouraud, Arnaud Gotlieb |
| 2005 | COMPSAC | Goal-Oriented Test Data Generation for Programs with Pointer Variables. | Arnaud Gotlieb, Tristan Denmat, Bernard Botella |
| 2004 | ICLP | Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. | Matthieu Petit, Arnaud Gotlieb |
| 2003 | COMPSAC | Automated Metamorphic Testing. | Arnaud Gotlieb, Bernard Botella |
| 2003 | ISSRE | Exploiting Symmetries to Test Programs. | Arnaud Gotlieb |
| 1998 | ISSTA | Automatic Test Data Generation Using Constraint Solving Techniques. | Arnaud Gotlieb, Bernard Botella, Michel Rueher |
| 1996 | ICLP | Boosting the Interval Narrowing Algorithm. | Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert |