Arnaud Gotlieb

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 81

Top Venues

Publications

Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
Testing for Fault Diversity in Reinforcement Learning. CoRR (2024)
Luc Lesoil, Helge Spieker, Arnaud Gotlieb, Mathieu Acher, Paul Temple, Arnaud Blouin, Jean-Marc Jézéquel
Learning input-aware performance models of configurable systems: An empirical evaluation. J. Syst. Softw. 208 (2024)
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
Testing for Fault Diversity in Reinforcement Learning. AST@ICSE (2024)
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods. CoRR (2024)
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Query-driven Qualitative Constraint Acquisition. J. Artif. Intell. Res. 79 (2024)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR (2024)
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. ICAART (3) (2024)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR (2024)
Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. IEEE Trans. Intell. Transp. Syst. 25 (2) (2024)
Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
Evaluating Human Trajectory Prediction with Metamorphic Testing. CoRR (2024)
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
Active Disjunctive Constraint Acquisition. KR (2023)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. CoRR (2023)
Q. Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making. CoRR (2023)
Arnaud Gotlieb, Morten Mossige, Helge Spieker
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. CoRR (2023)
Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. CoRR (2023)
Arnaud Gotlieb, Morten Mossige, Helge Spieker
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. SAFECOMP (2023)
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
GEQCA: Generic Qualitative Constraint Acquisition. AAAI (2022)
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI (2022)
Dusica Marijan, Arnaud Gotlieb
Software Testing for Machine Learning. CoRR (2022)
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. CoRR (2022)
Dusica Marijan, Arnaud Gotlieb
Industry-Academia Research Collaboration in Software Engineering: The Certus Model. CoRR (2022)
Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR (2022)
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. ICST Workshops (2022)
Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). AAAI (2021)
Dusica Marijan, Arnaud Gotlieb
Industry-Academia research collaboration in software engineering: The Certus model. Inf. Softw. Technol. 132 (2021)
Helge Spieker, Arnaud Gotlieb
Summary of: Adaptive Metamorphic Testing with Contextual Bandits. ICST (2021)
Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar
Solve Optimization Problems with Unknown Constraint Networks. CoRR (2021)
Helge Spieker, Arnaud Gotlieb
Predictive Machine Learning of Objective Boundaries for Solving COPs. CoRR (2021)
Helge Spieker, Arnaud Gotlieb
Learning to Generate Fault-revealing Test Cases in Metamorphic Testing. Software Engineering (2021)
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
Opening the software engineering toolbox for the assessment of trustworthy AI. NeHuAI@ECAI (2020)
Helge Spieker, Arnaud Gotlieb
Learning Objective Boundaries for Constraint Optimization Problems. CoRR (2020)
Dusica Marijan, Arnaud Gotlieb, Abhijeet Sapkota
Neural Network Classification for Improving Continuous Regression Testing. AITest (2020)
Dusica Marijan, Arnaud Gotlieb
Lessons Learned on Research Co-Creation: Making Industry-Academia Collaboration Work. SEAA (2020)
Helge Spieker, Arnaud Gotlieb
Learning Objective Boundaries for Constraint Optimization Problems. LOD (2) (2020)
Helge Spieker, Arnaud Gotlieb
Adaptive metamorphic testing with contextual bandits. J. Syst. Softw. 165 (2020)
Dusica Marijan, Arnaud Gotlieb
Software Testing for Machine Learning. AAAI (2020)
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI. CoRR (2020)
Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP (2020)
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators. Int. J. Artif. Intell. Tools 29 (03n04) (2020)
Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Deploying Smart Program Understanding on a Large Code Base. AITest (2019)
Dusica Marijan, Arnaud Gotlieb, Marius Liaaen
A learning algorithm for optimizing continuous integration development and testing practice. Softw. Pract. Exp. 49 (2) (2019)
Helge Spieker, Arnaud Gotlieb
Towards Testing of Deep Learning Systems with Training Set Reduction. CoRR (2019)
Dusica Marijan, Arnaud Gotlieb, Mohit Kumar Ahuja
Challenges of Testing Machine Learning Based Systems. AITest (2019)
Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten Mossige
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AITest (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR (2019)
Helge Spieker, Arnaud Gotlieb
Adaptive Metamorphic Testing with Contextual Bandits. CoRR (2019)
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Rotational Diversity in Multi-Cycle Assignment Problems. AAAI (2019)
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. CoRR (2018)
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Stratified Constructive Disjunction and Negation in Constraint Programming. ICTAI (2018)
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles. AAAI (2018)
Sagar Sen, Dusica Marijan, Arnaud Gotlieb
Certus: an organizational effort towards research-based innovation in software verification and validation. Int. J. Syst. Assur. Eng. Manag. 9 (2) (2018)
Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Discovering Program Topoi Through Clustering. AAAI (2018)
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. Software Engineering (2018)
Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Trans. Reliab. 67 (3) (2018)
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Stratified Constructive Disjunction and Negation in Constraint Programming. CoRR (2018)
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Rotational Diversity in Multi-Cycle Assignment Problems. CoRR (2018)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Deploying Constraint Programming for Testing ABB's Painting Robots. AI Mag. 38 (2) (2017)
Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva
TITAN: Test Suite Optimization for Highly Configurable Software. ICST (2017)
Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb
Efficient and Complete FD-solving for extended array constraints. IJCAI (2017)
Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, Roberta Gori
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. AAAI (2017)
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
Reinforcement learning for automatic test case prioritization and selection in continuous integration. ISSTA (2017)
Shuai Wang, Shaukat Ali, Arnaud Gotlieb, Marius Liaaen
Automated product line test case selection: industrial case study and controlled experiment. Softw. Syst. Model. 16 (2) (2017)
Arnaud Gotlieb, Dusica Marijan
Using Global Constraints to Automate Regression Testing. AI Mag. 38 (1) (2017)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP (2017)
Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon
A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing. ICSOFT-EA (2016)
Mats Carlsson, Arnaud Gotlieb, Dusica Marijan
Software Product Line Test Suite Reduction with Constraint Optimization. ICSOFT (Selected Papers) (2016)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS J. Comput. 28 (1) (2016)
Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon
Automated Regression Testing Using Constraint Programming. AAAI (2016)
Shuai Wang, Shaukat Ali, Arnaud Gotlieb, Marius Liaaen
A systematic test case selection methodology for product lines: results and insights from an industrial case study. Empir. Softw. Eng. 21 (4) (2016)
Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry
Practical minimization of pairwise-covering test configurations using constraint programming. Inf. Softw. Technol. 71 (2016)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Generating Tests for Robotized Painting Using Constraint Programming. IJCAI (2016)
T. H. Tse, Arnaud Gotlieb, Zhenyu Chen
Focus section on quality software. Softw. Pract. Exp. 45 (7) (2015)
Guillaume Bécan, Razieh Behjati, Arnaud Gotlieb, Mathieu Acher
Synthesis of Attributed Feature Models From Product Descriptions: Foundations. CoRR (2015)
Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Guillaume Bécan, Razieh Behjati, Arnaud Gotlieb, Mathieu Acher
Synthesis of attributed feature models from product descriptions. SPLC (2015)
Arnaud Gotlieb
Constraint-Based Testing: An Emerging Trend in Software Testing. Adv. Comput. 99 (2015)
Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
Infeasible path generalization in dynamic symbolic execution. Inf. Softw. Technol. 58 (2015)
Arnaud Gotlieb, Dusica Marijan, Sagar Sen
Towards More Relational Feature Models. ICSOFT-EA (2015)
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
Cost-effective test suite minimization in product lines using search techniques. J. Syst. Softw. 103 (2015)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Testing robot controllers using constraint programming and continuous integration. Inf. Softw. Technol. 57 (2015)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. CP (2014)
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
Random-Weighted Search-Based Multi-objective Optimization Revisited. SSBSE (2014)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. ICTSS (2014)
Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. CP (2014)
Shuai Wang, David Buchmann, Shaukat Ali, Arnaud Gotlieb, Dipesh Pradhan, Marius Liaaen
Multi-objective test prioritization in software product line testing: an industrial case study. SPLC (2014)
Arnaud Gotlieb, Dusica Marijan
FLOWER: optimal test suite reduction as a network maximum flow. ISSTA (2014)
Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
Scenario Realizability with Constraint Optimization. FASE (2013)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. ICST (2013)
Dusica Marijan, Arnaud Gotlieb, Sagar Sen
Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study. ICSM (2013)
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
Automated Product Line Methodologies to Support Model-Based Testing. MoDELS (Demos/Posters/StudentResearch) (2013)
Sagar Sen, Arnaud Gotlieb
Testing a Data-Intensive System with Generated Data Interactions - The Norwegian Customs and Excise Case Study. CAiSE (2013)
Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu
Practical pairwise testing for software product lines. SPLC (2013)
Sagar Sen, Jose Luis de la Vara, Arnaud Gotlieb, Arnab Sarkar
Modelling data interaction requirements: A position paper. MoDRE (2013)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Filtering Floating-Point Constraints by Maximum ULP. CoRR (2013)
Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen
Automated Test Case Selection Using Feature Model: An Industrial Case Study. MoDELS (2013)
Shuai Wang, Shaukat Ali, Arnaud Gotlieb
Minimizing test suites in software product lines using weight-based genetic algorithms. GECCO (2013)
Sébastien Bardin, Arnaud Gotlieb
A Combined Approach for Constraints over Finite Domains and Arrays. CoRR (2013)
Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
Stress testing of task deadlines: A constraint programming approach. ISSRE (2013)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. ICST (2013)

Arnaud Gotlieb.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arnaud Gotlieb