Arnaud Gotlieb

175 papers A* 13A 28B 17C 7Journal 73Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance. ICAART (3) Divya Acharya, Pierre Bernabé, Antoine Chevrot, Helge Spieker, Arnaud Gotlieb, Bruno Legeard
2026	J	`jnl`	Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance. CoRR Divya Acharya, Pierre Bernabé, Antoine Chevrot, Helge Spieker, Arnaud Gotlieb, Bruno Legeard
2026	J	`jnl`	Large language models for high-level computer-aided process planning in a distributed manufacturing paradigm. Robotics Comput. Integr. Manuf. Emmanuel Stathatos, Panorios Benardos, George-Christopher Vosniakos, Dennis Gross, Helge Spieker, Arnaud Gotlieb
2026	J	`jnl`	Semi-supervised CAPP Transformer Learning via Pseudo-labeling. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb, Emmanuel Stathatos, Panorios Benardos, George-Christopher Vosniakos
2025	J	`jnl`	A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference. J. Artif. Intell. Res. Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar
2025	B	`conf`	Bounded PCTL Model Checking of Large Language Model Outputs. ICTAI Dennis Gross, Helge Spieker, Arnaud Gotlieb
2025	J	`jnl`	Bounded PCTL Model Checking of Large Language Model Outputs. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb
2025	J	`jnl`	Efficiently Ranking Software Variants with Minimal Benchmarks. CoRR Théo Matricon, Mathieu Acher, Helge Spieker, Arnaud Gotlieb
2025	J	`jnl`	Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2025	—	`conf`	MED-TAID : Un outil pour évaluer la confiance des systèmes médicaux intelligents. EGC Clotilde Brayé, Aurélien Bricout, Arnaud Gotlieb, Nadjib Lazaar, Quentin Vallet
2025	J	`jnl`	Metamorphic Testing of Multimodal Human Trajectory Prediction. CoRR Helge Spieker, Nadjib Lazaar, Arnaud Gotlieb, Nassim Belmecheri
2025	J	`jnl`	Metamorphic Testing of Multimodal Human Trajectory Prediction. Inf. Softw. Technol. Helge Spieker, Nadjib Lazaar, Arnaud Gotlieb, Nassim Belmecheri
2025	J	`jnl`	Mutation-Guided Metamorphic Testing of Optimality in AI Planning. Softw. Test. Verification Reliab. Quentin Mazouni, Arnaud Gotlieb, Helge Spieker, Mathieu Acher, Benoît Combemale
2025	J	`jnl`	Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming. CoRR Clotilde Brayé, Aurélien Bricout, Arnaud Gotlieb, Nadjib Lazaar, Quentin Vallet
2025	C	`conf`	Policy Testing with MDPFuzz (Replicability Study). Software Engineering Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2025	J	`jnl`	Policy Testing with MDPFuzz (Replicability Study). CoRR Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2025	B	`conf`	Prompting for Performance: Exploring LLMs for Configuring Software. ICTAI Helge Spieker, Théo Matricon, Nassim Belmecheri, Jørn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher
2025	J	`jnl`	Prompting for Performance: Exploring LLMs for Configuring Software. CoRR Helge Spieker, Théo Matricon, Nassim Belmecheri, Jørn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher
2025	J	`jnl`	Rashomon in the Streets: Explanation Ambiguity in Scene Understanding. CoRR Helge Spieker, Jørn Eirik Betten, Arnaud Gotlieb, Nadjib Lazaar, Nassim Belmecheri
2025	—	`conf`	Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research. ACM REP Mathieu Acher, Arnaud Gotlieb, Helge Spieker, Gauthier Le Bartz Lyan
2025	J	`jnl`	Verifying Memoryless Sequential Decision-making of Large Language Models. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb
2024	—	`conf`	AI-Driven Metamorphic Testing for Autonomous Systems (Keynote). MET@ISSTA Arnaud Gotlieb
2024	J	`jnl`	Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. IEEE Trans. Intell. Transp. Syst. Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
2024	J	`jnl`	Efficient Milling Quality Prediction with Explainable Machine Learning. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch, Mohamed Elmansori
2024	—	`conf`	Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. ICAART (3) Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
2024	J	`jnl`	Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
2024	—	`conf`	Evaluating Human Trajectory Prediction with Metamorphic Testing. MET@ISSTA Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
2024	J	`jnl`	Evaluating Human Trajectory Prediction with Metamorphic Testing. CoRR Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
2024	J	`jnl`	Learning input-aware performance models of configurable systems: An empirical evaluation. J. Syst. Softw. Luc Lesoil, Helge Spieker, Arnaud Gotlieb, Mathieu Acher, Paul Temple, Arnaud Blouin, Jean-Marc Jézéquel
2024	A	`conf`	Policy Testing with MDPFuzz (Replicability Study). ISSTA Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2024	J	`jnl`	Query-driven Qualitative Constraint Acquisition. J. Artif. Intell. Res. Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2024	C	`conf`	Testing for Fault Diversity in Reinforcement Learning. AST Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2024	J	`jnl`	Testing for Fault Diversity in Reinforcement Learning. CoRR Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2024	J	`jnl`	Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2024	J	`jnl`	Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2023	J	`jnl`	A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making. CoRR Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2023	J	`jnl`	Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2023	A*	`conf`	Active Disjunctive Constraint Acquisition. KR Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
2023	B	`conf`	Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. SAFECOMP Arnaud Gotlieb, Morten Mossige, Helge Spieker
2023	J	`jnl`	Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. CoRR Arnaud Gotlieb, Morten Mossige, Helge Spieker
2023	J	`jnl`	Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. CoRR Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
2022	A*	`conf`	Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
2022	J	`jnl`	Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois
2022	A*	`conf`	GEQCA: Generic Qualitative Constraint Acquisition. AAAI Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2022	J	`jnl`	Industry-Academia Research Collaboration in Software Engineering: The Certus Model. CoRR Dusica Marijan, Arnaud Gotlieb
2022	J	`jnl`	Software Testing for Machine Learning. CoRR Dusica Marijan, Arnaud Gotlieb
2022	—	`conf`	Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. ICST Workshops Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
2022	J	`jnl`	Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. CoRR Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
2021	A*	`conf`	Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). AAAI Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb
2021	J	`jnl`	Industry-Academia research collaboration in software engineering: The Certus model. Inf. Softw. Technol. Dusica Marijan, Arnaud Gotlieb
2021	C	`conf`	Learning to Generate Fault-revealing Test Cases in Metamorphic Testing. Software Engineering Helge Spieker, Arnaud Gotlieb
2021	J	`jnl`	Predictive Machine Learning of Objective Boundaries for Solving COPs. CoRR Helge Spieker, Arnaud Gotlieb
2021	J	`jnl`	Solve Optimization Problems with Unknown Constraint Networks. CoRR Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar
2021	A	`conf`	Summary of: Adaptive Metamorphic Testing with Contextual Bandits. ICST Helge Spieker, Arnaud Gotlieb
2020	J	`jnl`	Adaptive metamorphic testing with contextual bandits. J. Syst. Softw. Helge Spieker, Arnaud Gotlieb
2020	J	`jnl`	ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators. Int. J. Artif. Intell. Tools Arnaud Gotlieb, Dusica Marijan, Helge Spieker
2020	—	`conf`	Learning Objective Boundaries for Constraint Optimization Problems. LOD (2) Helge Spieker, Arnaud Gotlieb
2020	J	`jnl`	Learning Objective Boundaries for Constraint Optimization Problems. CoRR Helge Spieker, Arnaud Gotlieb
2020	B	`conf`	Lessons Learned on Research Co-Creation: Making Industry-Academia Collaboration Work. SEAA Dusica Marijan, Arnaud Gotlieb
2020	—	`conf`	Neural Network Classification for Improving Continuous Regression Testing. AITest Dusica Marijan, Arnaud Gotlieb, Abhijeet Sapkota
2020	J	`jnl`	Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI. CoRR Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
2020	—	`conf`	Opening the software engineering toolbox for the assessment of trustworthy AI. NeHuAI@ECAI Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
2020	A	`conf`	RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige
2020	A*	`conf`	Software Testing for Machine Learning. AAAI Dusica Marijan, Arnaud Gotlieb
2019	J	`jnl`	A learning algorithm for optimizing continuous integration development and testing practice. Softw. Pract. Exp. Dusica Marijan, Arnaud Gotlieb, Marius Liaaen
2019	J	`jnl`	Adaptive Metamorphic Testing with Contextual Bandits. CoRR Helge Spieker, Arnaud Gotlieb
2019	—	`conf`	Challenges of Testing Machine Learning Based Systems. AITest Dusica Marijan, Arnaud Gotlieb, Mohit Kumar Ahuja
2019	—	`conf`	Deploying Smart Program Understanding on a Large Code Base. AITest Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
2019	A*	`conf`	Rotational Diversity in Multi-Cycle Assignment Problems. AAAI Helge Spieker, Arnaud Gotlieb, Morten Mossige
2019	—	`conf`	Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AITest Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten Mossige
2019	J	`jnl`	Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
2019	—	`conf`	Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
2019	J	`jnl`	Towards Testing of Deep Learning Systems with Training Set Reduction. CoRR Helge Spieker, Arnaud Gotlieb
2018	J	`jnl`	Certus: an organizational effort towards research-based innovation in software verification and validation. Int. J. Syst. Assur. Eng. Manag. Sagar Sen, Dusica Marijan, Arnaud Gotlieb
2018	A*	`conf`	Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles. AAAI Helge Spieker, Arnaud Gotlieb, Morten Mossige
2018	A*	`conf`	Discovering Program Topoi Through Clustering. AAAI Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
2018	J	`jnl`	Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Trans. Reliab. Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
2018	C	`conf`	Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. Software Engineering Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
2018	J	`jnl`	Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. CoRR Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
2018	J	`jnl`	Rotational Diversity in Multi-Cycle Assignment Problems. CoRR Helge Spieker, Arnaud Gotlieb, Morten Mossige
2018	B	`conf`	Stratified Constructive Disjunction and Negation in Constraint Programming. ICTAI Arnaud Gotlieb, Dusica Marijan, Helge Spieker
2018	J	`jnl`	Stratified Constructive Disjunction and Negation in Constraint Programming. CoRR Arnaud Gotlieb, Dusica Marijan, Helge Spieker
2017	J	`jnl`	Automated product line test case selection: industrial case study and controlled experiment. Softw. Syst. Model. Shuai Wang, Shaukat Ali, Arnaud Gotlieb, Marius Liaaen
2017	A*	`conf`	Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. AAAI Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, Roberta Gori
2017	J	`jnl`	Deploying Constraint Programming for Testing ABB's Painting Robots. AI Mag. Morten Mossige, Arnaud Gotlieb, Hein Meling
2017	A*	`conf`	Efficient and Complete FD-solving for extended array constraints. IJCAI Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb
2017	A	`conf`	Reinforcement learning for automatic test case prioritization and selection in continuous integration. ISSTA Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
2017	A	`conf`	TITAN: Test Suite Optimization for Highly Configurable Software. ICST Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva
2017	A	`conf`	Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
2017	J	`jnl`	Using Global Constraints to Automate Regression Testing. AI Mag. Arnaud Gotlieb, Dusica Marijan
2016	—	`conf`	A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing. ICSOFT-EA Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon
2016	J	`jnl`	A systematic test case selection methodology for product lines: results and insights from an industrial case study. Empir. Softw. Eng. Shuai Wang, Shaukat Ali, Arnaud Gotlieb, Marius Liaaen
2016	A*	`conf`	Automated Regression Testing Using Constraint Programming. AAAI Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon
2016	J	`jnl`	Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS J. Comput. Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
2016	A*	`conf`	Generating Tests for Robotized Painting Using Constraint Programming. IJCAI Morten Mossige, Arnaud Gotlieb, Hein Meling
2016	J	`jnl`	Practical minimization of pairwise-covering test configurations using constraint programming. Inf. Softw. Technol. Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry
2016	—	`conf`	Software Product Line Test Suite Reduction with Constraint Optimization. ICSOFT (Selected Papers) Mats Carlsson, Arnaud Gotlieb, Dusica Marijan
2015	J	`jnl`	Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Trans. Softw. Eng. Methodol. Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb
2015	J	`jnl`	Constraint-Based Testing: An Emerging Trend in Software Testing. Adv. Comput. Arnaud Gotlieb
2015	J	`jnl`	Cost-effective test suite minimization in product lines using search techniques. J. Syst. Softw. Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2015	J	`jnl`	Focus section on quality software. Softw. Pract. Exp. T. H. Tse, Arnaud Gotlieb, Zhenyu Chen
2015	J	`jnl`	Infeasible path generalization in dynamic symbolic execution. Inf. Softw. Technol. Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
2015	J	`jnl`	Synthesis of Attributed Feature Models From Product Descriptions: Foundations. CoRR Guillaume Bécan, Razieh Behjati, Arnaud Gotlieb, Mathieu Acher
2015	B	`conf`	Synthesis of attributed feature models from product descriptions. SPLC Guillaume Bécan, Razieh Behjati, Arnaud Gotlieb, Mathieu Acher
2015	J	`jnl`	Testing robot controllers using constraint programming and continuous integration. Inf. Softw. Technol. Morten Mossige, Arnaud Gotlieb, Hein Meling
2015	—	`conf`	Towards More Relational Feature Models. ICSOFT-EA Arnaud Gotlieb, Dusica Marijan, Sagar Sen
2014	A	`conf`	FLOWER: optimal test suite reduction as a network maximum flow. ISSTA Arnaud Gotlieb, Dusica Marijan
2014	B	`conf`	Multi-objective test prioritization in software product line testing: an industrial case study. SPLC Shuai Wang, David Buchmann, Shaukat Ali, Arnaud Gotlieb, Dipesh Pradhan, Marius Liaaen
2014	B	`conf`	Random-Weighted Search-Based Multi-objective Optimization Revisited. SSBSE Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2014	C	`conf`	Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. ICTSS Morten Mossige, Arnaud Gotlieb, Hein Meling
2014	A	`conf`	Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. CP Morten Mossige, Arnaud Gotlieb, Hein Meling
2014	A	`conf`	Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. CP Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
2013	J	`jnl`	A Combined Approach for Constraints over Finite Domains and Arrays. CoRR Sébastien Bardin, Arnaud Gotlieb
2013	—	`conf`	Automated Product Line Methodologies to Support Model-Based Testing. MoDELS (Demos/Posters/StudentResearch) Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2013	A	`conf`	Automated Test Case Selection Using Feature Model: An Industrial Case Study. MoDELS Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen
2013	J	`jnl`	Filtering Floating-Point Constraints by Maximum ULP. CoRR Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
2013	A	`conf`	Minimizing test suites in software product lines using weight-based genetic algorithms. GECCO Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2013	—	`conf`	Modelling data interaction requirements: A position paper. MoDRE Sagar Sen, Jose Luis de la Vara, Arnaud Gotlieb, Arnab Sarkar
2013	B	`conf`	Practical pairwise testing for software product lines. SPLC Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu
2013	B	`conf`	Scenario Realizability with Constraint Optimization. FASE Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
2013	A	`conf`	Stress testing of task deadlines: A constraint programming approach. ISSRE Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
2013	A	`conf`	Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. ICST Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
2013	—	`conf`	Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study. ICSM Dusica Marijan, Arnaud Gotlieb, Sagar Sen
2013	A	`conf`	Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. ICST Morten Mossige, Arnaud Gotlieb, Hein Meling
2013	A	`conf`	Testing a Data-Intensive System with Generated Data Interactions - The Norwegian Customs and Excise Case Study. CAiSE Sagar Sen, Arnaud Gotlieb
2012	J	`jnl`	A CP framework for testing CP. Constraints An Int. J. Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2012	B	`conf`	A Certified Constraint Solver over Finite Domains. FM Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2012	—	`conf`	A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. TAP@TOOLS Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2012	—	`conf`	Automatic selection of test execution plans from a video conferencing system product line. VARY@MoDELS Shuai Wang, Arnaud Gotlieb, Marius Liaaen, Lionel C. Briand
2012	—	`conf`	Constraint-based reachability Infinity Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar
2012	C	`conf`	Managing Execution Environment Variability during Software Testing: An Industrial Experience. ICTSS Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb
2012	A	`conf`	Minimum Pairwise Coverage Using Constraint Programming Techniques. ICST Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry
2012	B	`conf`	Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand
2012	J	`jnl`	TCAS software verification using constraint programming. Knowl. Eng. Rev. Arnaud Gotlieb
2012	A	`conf`	Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. ICST Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand
2012	B	`conf`	fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays. CPAIOR Sébastien Bardin, Arnaud Gotlieb
2012	—	`conf`	µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. SERE Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit
2011	A	`conf`	A Framework for the Automatic Correction of Constraint Programs. ICST Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2011	—	`book`	Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing). Arnaud Gotlieb
2011	B	`conf`	Filtering by ULP Maximum. ICTAI Matthieu Carlier, Arnaud Gotlieb
2011	A	`conf`	PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. ISSRE Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb
2010	J	`jnl`	A uniform random test data generator for path testing. J. Syst. Softw. Arnaud Gotlieb, Matthieu Petit
2010	—	`conf`	Constraint Reasoning in FocalTest. ICSOFT (2) Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2010	A	`conf`	Constraint-Based Test Input Generation for Java Bytecode. ISSRE Florence Charreteur, Arnaud Gotlieb
2010	A	`conf`	Explanation-Based Generalization of Infeasible Path. ICST Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
2010	—	`conf`	Fault Localization in Constraint Programs. ICTAI (1) Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2010	—	`conf`	FocalTest: A Constraint Programming Approach for Property-Based Testing. ICSOFT (Selected Papers) Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
2010	J	`jnl`	On Testing Constraint Programs CoRR Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2010	A	`conf`	On Testing Constraint Programs. CP Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2009	A	`conf`	Euclide: A Constraint-Based Testing Framework for Critical C Programs. ICST Arnaud Gotlieb
2009	J	`jnl`	Modelling dynamic memory management in constraint-based testing. J. Syst. Softw. Florence Charreteur, Bernard Botella, Arnaud Gotlieb
2009	—	`conf`	Towards a Theory for Testing Non-terminating Programs. COMPSAC (1) Arnaud Gotlieb, Matthieu Petit
2008	B	`conf`	Constraint Reasoning in Path-Oriented Random Testing. COMPSAC Arnaud Gotlieb, Matthieu Petit
2008	—	`conf`	Towards Constraing-Based Local Search for Automatic Test Data Generation. ICST Workshops Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah
2007	A	`conf`	An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2007	A	`conf`	Boosting Probabilistic Choice Operators. CP Matthieu Petit, Arnaud Gotlieb
2007	J	`jnl`	Goal-oriented test data generation for pointer programs. Inf. Softw. Technol. Arnaud Gotlieb, Tristan Denmat, Bernard Botella
2007	A	`conf`	Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2007	—	`conf`	Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. QSIC Matthieu Petit, Arnaud Gotlieb
2006	—	`conf`	A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. QSIC Arnaud Gotlieb, Patrick Bernard
2006	—	`conf`	Path-oriented random testing. Random Testing Arnaud Gotlieb, Matthieu Petit
2006	J	`jnl`	Symbolic execution of floating-point computations. Softw. Test. Verification Reliab. Bernard Botella, Arnaud Gotlieb, Claude Michel
2006	C	`conf`	Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. PADL Sandrine-Dominique Gouraud, Arnaud Gotlieb
2005	A*	`conf`	Constraint-based test data generation in the presence of stack-directed pointers. ASE Arnaud Gotlieb, Tristan Denmat, Bernard Botella
2005	—	`conf`	Goal-Oriented Test Data Generation for Programs with Pointer Variables. COMPSAC (1) Arnaud Gotlieb, Tristan Denmat, Bernard Botella
2005	J	`jnl`	Proving or Disproving likely Invariants with Constraint Reasoning CoRR Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2005	—	`conf`	Proving or Disproving likely Invariants with Constraint Reasoning. WLPE Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2004	B	`conf`	Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. ICLP Matthieu Petit, Arnaud Gotlieb
2003	B	`conf`	Automated Metamorphic Testing. COMPSAC Arnaud Gotlieb, Bernard Botella
2003	A	`conf`	Exploiting Symmetries to Test Programs. ISSRE Arnaud Gotlieb
2002	J	`jnl`	Utilisation des contraintes pour la génération automatique de cas de test structurels. Tech. Sci. Informatiques Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
2000	—	`conf`	A CLP Framework for Computing Structural Test Data. Computational Logic Arnaud Gotlieb, Bernard Botella, Michel Rueher
1998	A	`conf`	Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA Arnaud Gotlieb, Bernard Botella, Michel Rueher
1998	J	`jnl`	Dynamic Optimization of Interval Narrowing Algorithms. J. Log. Program. Olivier Lhomme, Arnaud Gotlieb, Michel Rueher
1996	—	`conf`	Boosting the Interval Narrowing Algorithm. JICSLP Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert