Arnaud Gotlieb

A. Gotlieb, M. Mossige and H. Spieker

Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics

SAFECOMP2023 42nd International Conference on Computer Safety, Reliability and Security 19-22 September 2023, Toulouse, France

A. Gotlieb, M. Mossige and H. Spieker

Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics

SAFECOMP2023 42nd International Conference on Computer Safety, Reliability and Security 19-22 September 2023, Toulouse, France

M. B. Belaid, N. Belmecheri, N. Lazaar, A. Gotlieb and H. Spieker

Approche générique pour l’acquisition de contraintes qualitatives

JFPC

G. Menguy, S. Bardin, A. Gotlieb and N. Lazaar

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8

C. Braye, J. Clech, A. Gotlieb, N. Lazaar and P. Malléa

Towards Trustworthy-AI-by-Design Methodology for Intelligent Radiology Systems

'Santé et IA séminaire' at PFIA 23, Strasbrourg, France. July 6

M. B. Belaid, N. Belmecheri, N. Lazaar, A. Gotlieb and H. Spieker

Approche générique pour l’acquisition de contraintes qualitatives

JFPC

G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb

Active Disjunctive Constraint Acquisition

Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8

Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher

A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making

Rencontres des Jeunes Chercheurs en Intelligence Artificielle

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation

A. Gotlieb, M. K. Ahuja and M. B. Belaid

T-Largo: Testing of Learning Robots

M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

GEQCA: Generic Qualitative Constraint Acquisition

Lernen. Wissen. Daten. Analysen. (LWDA) - KDML Track

M. K. Ahuja, A. Gotlieb and H. Spieker

Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques

Artificial Intelligence in Software Testing @ 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

GEQCA: Generic Qualitative Constraint Acquisition

Proceedings of the AAAI Conference on Artificial Intelligence

G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)

J. Clech, A. Gotlieb, F. Sève, F. Didout and P. Malléa

Méthodologie d’anonymisation dès la conception d’un jeu de données en imagerie médicale

Applications Pratiques de l'Intelligence Artificielle (APIA)

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

Software Engineering for Robotics

M. B. Belaid, A. Gotlieb and N. Lazaar

Solve Optimization Problems with Unknown Constraint Networks

PTHG workshop in CP

D. Marijan and A. Gotlieb

Industry-Academia research collaboration in software engineering: The Certus model

Information and Software Technology

H. Spieker and A. Gotlieb

Predictive Machine Learning of Objective Boundaries for Solving COPs

AI

P. Bernabé, H. Spieker, A. Gotlieb and B. Legeard

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)

H. Spieker and A. Gotlieb

Learning to Generate Fault-revealing Test Cases in Metamorphic Testing

Software Engineering 2021

H. Spieker and A. Gotlieb

Summary of: Adaptive Metamorphic Testing with Contextual Bandits

IEEE International Conference on Software Testing (ICST)

M. B. Belaid, A. Gotlieb and N. Lazaar

Solve Optimization Problems with Unknown Constraint Networks

PTHG workshop in CP (online)

P. Bernabé, H. Spieker, B. Legeard and A. Gotlieb

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)

Proceedings of the AAAI Conference on Artificial Intelligence

M. K. Ahuja, M. B. Belaid, P. Bernabé, A. Gotlieb, D. Marijan, A. Sharif and H. Spieker

Improving the Reliability of Autonomous Software Systems through Metamorphic Testing

Proceedings of the 31st European Safety and Reliability Conference (ESREL)

P. Bernabé, A. Gotlieb, B. Legeard, F. O. Sem-Jacobsen and H. Spieker

Apprentissage auto-supervisé pour la détection d’actions illégales lors de la surveillance du trafic maritime

Applications Pratiques de l’Intelligence Artificielle

A. Gotlieb

Leveraging AI Methods for Testing Non-testable Autonomous Systems

17th European Dependable Computing Conference 13-16 September 2021 Munich, Germany

A. Gotlieb

Code-Based Testing with Constraints

HUAWEI Paris, France

A. Gotlieb

Advanced Testing Methods for Robotic Software-Systems

Bristol Robotics Lab., Bristol, UK

A. Gotlieb

Breaking silos in data innovation in Europe: Experiences of AI4EU, EUH4D, and DIH4AI

Data Week 2021

A. Gotlieb

AI-based Testing of Autonomous Software Systems

IRT SystemX, France

H. Spieker and A. Gotlieb

Adaptive Metamorphic Testing with Contextual Bandits

Journal of Systems and Software

A. Gotlieb, D. Marijan and H. Spieker

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators

International Journal on Artificial Intelligence Tools

P. Bernabé, A. Gotlieb and B. Legeard

Detection of False Data Injection in AIS Vessels Communication Using Machine Learning

M. Collet, A. Gotlieb, N. Lazaar, M. Carlsson, D. Marijan and M. Mossige

RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots

International Conference on Principles and Practice of Constraint Programming

M. K. Ahuja, M. B. Belaid, P. Bernabé, M. Collet, A. Gotlieb, C. Lal, D. Marijan, S. Sen, A. Sharif and H. Spieker

Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI

1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020

H. Spieker and A. Gotlieb

Learning Objective Boundaries for Constraint Optimization Problems

International Conference on Machine Learning, Optimization, and Data Science

D. Marijan and A. Gotlieb

Software Testing for Machine Learning

The Thirty-Fourth AAAI Conference on Artificial Intelligence

D. Marijan, A. Gotlieb and A. Sapkota

Neural Network Classification for Improving Continuous Regression Testing

The IEEE Second International Conference On Artificial Intelligence Testing (AITest 2020)

D. Marijan and A. Gotlieb

Lessons Learned on Research Co-Creation: Making Industry-Academia Collaboration Work

The 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

A. Gotlieb

AI4EU: Pilot Experiments with the platform

Big Data Value Forum, Nov. 3-5, Berlin, Germany

A. Gotlieb

Metamorphic Testing: A Validation Technique for Trustworthy AI?

Workshop on Lessons learnt on Trustworthy AI made in Europe: Challenges and Answers

D. Marijan, A. Gotlieb and M. Liaaen

A learning algorithm for optimizing continuous integration development and testing practice

Software: Practice and Experience

M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson

Time-aware Test Execution Scheduling for Cyber-Physical Systems

Gesellschaft für Informatik Software Engineering Conference 2019 (SE19), Germany

A. Gotlieb

Simula Research Laboratory: Constraint Programming for Software Engineering

NordConsNet Workshop 2019 - The 18th workshop of NordConsNet, the Nordic Network for researchers and practitioners of Constraint Programming, Norway

A. Gotlieb and D. Marijan

The TSAR Project

14th Certus User Partner Workshop, Sep. 2019, Larvik, Norway

P. Bernabé, H. Spieker, A. Gotlieb, D. Marijan and B. Legeard

Statistics AIS Dataset from Statsat

Simula Research Laboratory

H. Spieker, A. Gotlieb and M. Mossige

Rotational Diversity in Multi-Cycle Assignment Problems

Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19)

C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar

Deploying Smart Program Understanding on a Large Code Base

2019 IEEE International Conference On Artificial Intelligence Testing (AITest)

M. Collet, A. Gotlieb, N. Lazaar and M. Mossige

Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories

2019 IEEE International Conference On Artificial Intelligence Testing (AITest)

D. Marijan, A. Gotlieb and M. K. Ahuja

Challenges of Testing Machine Learning Based Systems

Proceedings of the 1st IEEE Artificial Intelligence Testing Conference (AI Test 2019)

A. Gotlieb

Intelligence Testing of Autonomous Software Systems

31st IFIP WG6.1 International Conference, ICTSS 2019, Paris, France

A. Gotlieb

Testing Robotic Systems: A New Battlefield!

RoboSoft: Software Engineering for Robotics - Royal Academy of Engineering, London, UK

A. Gotlieb

AI4EU: The European AI-On-Demand Platform

Seminar AI in Retail, Paris, France

A. Gotlieb

Current Panorama of AI in Europe

AI4EU Event AI Ecosystem Development Forum, Athens, Greece

A. Gotlieb

AI4EU: Building The European AI-on-demand Platform

Paris Open Source Summit (POSS'19), Dec. 10-11, 2019, Dock Pullmann, Paris, France

M. K. Ahuja, H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

Survey on Testing of Deep Learning Systems

A. Gotlieb, P. Bernabé, D. Marijan and H. Spieker

SARCoS: Machine Learning Models for the Selection of Security Test Scenarios

C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar

Discovering Program Topoi via Hierarchical Agglomerative Clustering

IEEE Transactions on Reliability

S. Sen, D. Marijan and A. Gotlieb

Certus: an organizational effort towards research-based innovation in software verification and validation

International Journal of Systems Assurance Engineering and Management

H. Spieker, A. Gotlieb and M. Mossige

Different Cycle, Different Assignment: Diversity in Assignment Problems with Multiple Cycles

M. Collet, A. Gotlieb and M. Mossige

Constraint-Based Generation of Trajectories for single-Arm Robots

H. Spieker and A. Gotlieb

Estimating Objective Boundaries for Constraint Optimization Problems

NordConsNet Workshop, Gothenburg, Sweden

H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

Gesellschaft für Informatik Software Engineering Conference 2018 (SE18), Ulm, Germany

C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar

Discovering Program Topoi Through Clustering

Proceedings of the Thirty-Second IAAI/AAAI Conference on Innovative Applications of Artificial Intelligence

H. Spieker and A. Gotlieb

Towards Hybrid Constraint Solving with Reinforcement Learning and Constraint-Based Local Search

Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting

M. Collet, A. Gotlieb and M. Mossige

Constraint-based Generation of Trajectories for Single-Arm Robots

Doctoral Program of the 24th Constraint Programming (DP-CP 18)

A. Gotlieb, D. Marijan and H. Spieker

Stratified Constructive Disjunction and Negation in Constraint Programming

Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018

A. Gotlieb

Artificial Intelligence in Software Testing: An Overview. Application to Industrial Robotics

French Days on Software Testing (JFTL'18), Paris, France

A. Gotlieb

AI-Powered Testing of Industrial Robots

ALTEN TalentCamp, Paris, France

A. Gotlieb and H. Spieker

Boundary Estimation: Learning Boundaries for Constraint Optimization Problems

International Symposium on Mathematical Optimization (ISMP'18), Bordeaux, France

M. Carlsson, A. Gotlieb and D. Marijan

Software Product Line Test Suite Reduction with Constraint Optimization

Software Technologies

M. Mossige, A. Gotlieb and H. Meling

Deploying Constraint Programming for Testing ABB’s Painting Robots

AI Magazine

A. Gotlieb and D. Marijan

Using Global Constraints to Automate Regression Testing

AI Magazine

A. Gotlieb

Learning How to Test Robotic Systems

Simula-HiOA Seminar April 5th, Fornebu, Lysaker, Norway

H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Q. Plazar, M. Acher, S. Bardin and A. Gotlieb

Efficient and Complete FD-Solving for Extended Array Constraints

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson

Time-aware Test Case Execution Scheduling for Cyber-Physical Systems

Proceedings of Principles of Constraint Programming (CP'17)

A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori

Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening

Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA

D. Marijan, A. Gotlieb, M. Liaaen, S. Sen and C. Ieva

TITAN: Test Suite Optimization for Highly Configurable Software

International Conference on Software Testing, Verification and Validation (ICST 2017)

A. Gotlieb

Testing Robotic Systems: A New Battlefield!

French National Days of GDR-GPL 2017, Montpellier, France

A. Gotlieb

Intelligent Test Optimization

TAROT Summer School on Software Testing, Jun. 26th, Naples, Italy

R. Bagnara, M. Carlier, R. Gori and A. Gotlieb

Exploiting Binary Floating-Point Representations for Constraint Propagation

INFORMS Journal of Computing (JoC)

S. Wang, S. Ali, A. Gotlieb and M. Liaaen

A Systematic Test Case Selection Methodology for Product Lines: Results and Insights From an Industrial Case Study

Empirical Software Engineering

R. Bagnara, M. Carlier, R. Gori and A. Gotlieb

Exploiting Binary Floating-Point Representations for Constraint Propagation

INFORMS Journal of Computing (JoC)

A. Hervieu, D. Marijan, A. Gotlieb and B. Baudry

Practical Minimization of Pairwise-Covering Test Configurations Using Constraint Programming

Information and Software Technology

A. Gotlieb, M. Carlsson, M. Liaaen, D. Marijan and A. Petillon

Automated Regression Testing Using Constraint Programming

Twenty-Eighth Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, USA, Feb. 2016

M. Mossige, A. Gotlieb, H. Meling and M. Carlsson

Optimal Test Execution Scheduling on Multiple Machines with Resource Constraints

Submitted

M. Mossige, A. Gotlieb and H. Meling

Generating Tests for Robotized Painting Using Constraint Programming

Int. Joint Conf. on Artificial Intelligence (IJCAI-16) - Sister Conference Best Paper Track

A. Gotlieb, M. Carlsson, D. Marijan and A. Petillon

A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing

ICSOFT-EA 2016, 11th Int. Conf. on Software Engineering and Applications, Lisbon, July 2016, Awarded Best Paper

A. Gotlieb

Constraint-Based Test Suite Optimization

28th International Conference on Testing Software and Systems (ICTSS'16), October 17-19, 2016, Graz, Austria.

A. Gotlieb

Constraint-Based Testing: An Emerging Trend in Software Testing

XVI Jornadas sobre Programación y Lenguajes (PROLE 2016), Salamanca, Spain, 14-16 Sep. 2016

A. Gotlieb

Software Testing Applications with Constraint Optimization

SICS, Smart Programming Day, 2016, Nov. 29th, Stockholm, Sweden

A. Gotlieb

Constraint-Based Testing: An Emerging Trend in Software Testing

Advances in Computers

S. Wang, S. Ali and A. Gotlieb

Cost-Effective Test Suite Minimization in Product Lines Using Search Techniques

Journal of Systems and Software

S. Di Alesio, S. Nejati, L. Briand and A. Gotlieb

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines

ACM Transactions on Software Engineering and Methodology (TOSEM)

M. Mossige, A. Gotlieb and H. Meling

Testing Robot Controllers using Constraint Programming and Continuous Integration

Information and Software Technology

M. Delahaye, B. Botella and A. Gotlieb

Infeasible Path Generalization in Dynamic Symbolic Execution

Information and Software Technology

S. Wang, S. Ali, A. Gotlieb and M. Liaaen

Automated Product Line Test Case Selection: Industrial Case Study and Controlled Experiment

Journal of Software and Systems Modeling

T. Tse, A. Gotlieb and z. chen

Focus section on quality software

Software, Practice and Experience

S. Sen, D. Marijan and A. Gotlieb

Certus: Glimpses of a Centre for Research-Based Innovation in Software Verification and Validation

International Journal of System Assurance Engineering and Management

A. Gotlieb, D. Marijan and S. Sen

Towards More Relational Feature Models

ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July.

G. Bécan, R. Behjati, A. Gotlieb and M. Acher

Synthesis of attributed feature models from product descriptions

Proceedings of the 19th International Conference on Software Product Line, SPLC'15, Nashville, USA, July 20-24.

A. Gotlieb

An Overview of Constraint-Based Testing

Centre de Recherche en Informatique de Montreal (CRIM)

A. Gotlieb

A CP approach of the variability testing of software product lines

Université Paris 1 Panthéon - La Sorbonne

A. Gotlieb

Global Constraints in Software Testing Applications

Université de Montpellier, France - LIRMM

G. Bécan, R. Behjati, A. Gotlieb and M. Acher

Synthesis of Attributed Feature Models From Product Descriptions: Foundations

A. Gotlieb and G. Shroff

Proceedings of the Software Engineering in Practice (SEIP) Track of ICSE'14, June 1-7, Hyderabad, India

S. Bardin, A. Gotlieb and P. Flener

A Combined Approach for Constraints Over Finite Domains and Arrays

journal

A. Gotlieb and V. Ganesh

Challenges in Constraint-Based Testing

Selected talk at 'Verification meets CP' workshop 2014, Lyon, France

C. Dubois and A. Gotlieb

Towards an Effective Formally Certified Constraint Solver

Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France

A. Gotlieb

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs

Dagsthul Seminar (Symbolic Methods and Constraint Solving)

S. Wang, D. Buchmann, S. Ali, A. Gotlieb, D. Pradhan and M. Liaaen

Multi-Objective Test Prioritization in Software Product Line Testing: an Industrial Case Study

Software Product Line Conference (SPLC14), Florence, Italy

A. Gotlieb and D. Marijan

FLOWER: Optimal Test Suite Reduction As a Network Maximum Flow

Proceedings of Int. Symp. on Soft. Testing and Analysis (ISSTA'14), San José, CA, USA, Jul. 2014

S. Wang, S. Ali and A. Gotlieb

Random-Weighted Search-Based Multi-Objective Optimization Revisited

International Symposium on Search-Based Software Engineering (SSBSE'14), Fortaleza, Brazil

M. Mossige, A. Gotlieb and H. Meling

Using CP in Automatic Test Generation for ABB Robotics' Paint Control System

Proceedings of Principles of Constraint Programming (CP'14), Lyon, France, Sep. 2014 - Best Application Track Paper

S. Di Alesio, S. Nejati, L. C. Briand and A. Gotlieb

Worst-case Scheduling of Software Tasks – A Constraint Optimization Model to Support Performance Testing

The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014)

M. Mossige, A. Gotlieb and H. Meling

Testing Robotized Paint System Using Constraint Programming: an Industrial Case Study

Proceedings of IFIP Int. Conf. on Testing Software and Systems (ICTSS'14), Madrid, Spain, Sep. 2014 - Application Track

A. Gotlieb and z. chen

Proceedings of 13th International Conference on Quality Software 2013 (QSIC 2013), Nanjing, China, Jul. 2013

M. Carlier, C. Dubois and A. Gotlieb

FocalTest: a Constraint Programming Approach for Property-Based Testing

Communications in Computer and Information Science

S. Sen, J. L. de la Vara, A. Sarkar and A. Gotlieb

Modelling Data Interaction Requirements: a Position Paper

2013 International Workshop on Model-Driven Requirements Engineering (MoDRE 2013)

D. Marijan, A. Gotlieb, A. Hervieu and S. Sen

Practical Pairwise Testing for Software Product Lines

Proceedings of the International Software Product Line Conference (SPLC)

D. Marijan, A. Gotlieb and S. Sen

Test Case Prioritization for Continuous Regression Testing: an Industrial Case Study

Proceedings of the International Conference on Software Maintenance (ICSM)

J. L. de la Vara and H. Espinoza

Dealing With Software Model Quality in Practice: Experience in a Research Project

13th International Conference on Quality Software (QSIC 2013)

S. Wang, A. Gotlieb, S. Ali and M. Liaaen

Automated Test Case Selection Using Feature Model: an Industrial Case Study

ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), Best Paper Award

M. Mossige, A. Gotlieb and H. Meling

Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment

IEEE ICST 2013 (2 pages)

S. Wang, S. Ali and A. Gotlieb

Automated Product Line Methodologies to Support Model-Based Testing

The ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), online publication at CEUR

S. Wang, S. Ali and A. Gotlieb

Minimizing Test Suites in Software Product Lines Using Weight-Based Genetic Algorithms

ACM Genetic and Evolutionary Computation Conference (GECCO)

R. Bagnara, M. Carlier, R. Gori and A. Gotlieb

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs

Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages

R. Abdallah, A. Gotlieb, L. Hellouet and C. Jard

Scenario Realizability With Constraint Optimization

Proc. of. Fundamental Aspects of Software Engineering (FASE'2013)

S. Di Alesio, S. Nejati, L. Briand and A. Gotlieb

Stress Testing of Task Deadlines: A Constraint Programming Approach

The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)

S. Sen and A. Gotlieb

Testing a Data-Intensive System With Generated Data Interactions: the Norwegian Customs and Excise Case Study

Proceedings of 25th International Conference on Advanced Information Systems Engineering (CAiSE'13),June 17-21 2013, Valencia, Spain

A. Gotlieb, L. Hellouet and C. Jard

Scenario realizability with constraint optimization, In: Proc. Of Fundamental Aspects of Software Engineering

Proc. Of Fundamental Aspects of Software Engineering (FASE 2013),

S. Sen, C. Ieva, D. Marijan, A. Sarkar and A. Gotlieb

Test Selection Based on Data Interactions in Data-Intensive Systems

S. Ali, A. Gotlieb and S. Wang

Automated Search-Based Test Suite Minimization in Product Lines: An Empirical Study

N. Lazaar, A. Gotlieb and Y. Lebbah

A CP Framework for Testing CP

Constraints

A. Gotlieb

Tcas Software Verification Using Constraint Programming

The Knowledge Engineering Review

S. Wang, A. Gotlieb, M. Liaaen and L. C. Briand

Automatic Derivation of Test Execution Plans From a Video Conferencing System Product Line Modelling

M. Delahaye, L. C. Briand, A. Gotlieb and M. Petit

MuTIL: Mutation-Based Statistical Test Inputs Generation for Automatic Fault Localization

Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA

S. Di Alesio, A. Gotlieb, S. Nejati and L. C. Briand

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques

The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)

S. Bardin and A. Gotlieb

fdcc: a Combined Approach for Solving Constraints Over Finite Domains and Arrays

Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France

C. Dubois and A. Gotlieb

A Certified Constraint Solver Over Finite Domains

Proceedings of Formal Methods (FM'12), Paris, Aug. 2012

R. Behjati, S. Nejati, T. Yue, A. Gotlieb and L. C. Briand

Model-Based Automated and Guided Configuration of Embedded Software Systems

ECMFA 2012

M. Carlier, C. Dubois and A. Gotlieb

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest

Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic

A. Hervieu and A. Gotlieb

Managing Execution Environment Variability During Software Testing: an Industrial Experience

Proceedings of the 24th IFIP Int. Conference on Testing Software and Systems (ICTSS'12)

S. Wang, A. Gotlieb, M. Liaaen and L. Briand

Automatic Selection of Test Execution Plans from a Video Conferencing System Product Line

Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone

A. Gotlieb, A. Hervieu and B. Baudry

Minimum Pairwise Coverage Using Constraint Programming Techniques

2012 IEEE Fifth International Conference

A. Gotlieb

Constraint-Based Reacheability

INFINITY Workshop, co-located with FM 2012, Paris

R. Behjati, S. Nejati, A. Gotlieb, T. Yue and L. Briand

Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction Over Finite Domains

D. Marijan and A. Gotlieb

Research report on test configuration generation

S. Wang, A. Gotlieb, S. Ali and M. Liaaen

Automated Selection of Test Cases using Feature Model for Product Lines: An Industrial Case Study

S. Wang, S. Ali and A. Gotlieb

Minimizing Test Suites in Software Product Lines Using Weight-Based Genetic Algorithms

S. Wang, A. Gotlieb, S. Ali and M. Liaaen

Automated Test Case Selection using Feature Model: an Industrial Case Study

S. Wang, A. Gotlieb, M. Liaaen and L. C. Briand

Automatic Derivation of Test Execution Plans From a Video Conferencing System Product Line Modelling

A. Hervieu and A. Gotlieb

PACOGEN: Automatic Generation of Pairwise Test Configurations From Feature Models

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)

M. Carlier and A. Gotlieb

Filtering by ULP Maximum

Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011), Nov. 7-9, 2011, Boca Raton, Florida, USA

A. Gotlieb

Filtering by ULP maximum, In: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011),

23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011)