Primary tabs

Selected publications

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

GEQCA: Generic Qualitative Constraint Acquisition

In Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 36. AAAI, 2022.
Proceedings, refereed
2022
View
A. Gotlieb

Leveraging AI Methods for Testing Non-testable Autonomous Systems

In 17th European Dependable Computing Conference 13-16 September 2021 Munich, Germany, 2021.
Talk, keynote
2021
View
A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

In Software Engineering for Robotics, 109-137. Cham: Springer Nature, 2021.
Book Chapter
2021
View
H. Spieker and A. Gotlieb

Adaptive Metamorphic Testing with Contextual Bandits

Journal of Systems and Software 165 (2020).
Journal Article
2020
View

News

18 February 2021

Simula and Inria join forces in software engineering

Awards

Best Paper Award for " A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing"
in the 11th International Joint Conference on Software Technologies, ICSOFT-EA 2016, Lisbon, Portugal
July 2016
Best Application Paper Award for "Using CP in automatic test generation for ABB robotics' paint control systems" In Principles and Practice of Constraint Programming
The 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France
September 2014
Best Application Paper Award for "Automated test case selection using feature model: An industrial case study."
ACM/IEEE 16th Int. Conf. on Model Driven Eng. Languages and Systems (MODELS'13), Miami, Florida.
July 2013

Students under supervision

Find publication

Status

Departments

Publication type

Year published

Export 150 results:
2021

Posters

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

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

AAAI Conference on Artificial Intelligence (AAAI-21), Student Abstract and Poster Program, 2021.
Status: Published

Talks, invited

A. Gotlieb

Code-Based Testing with Constraints

In HUAWEI Paris, France. HUAWEI Paris - 31 March 2021, 2021.
Status: Published
A. Gotlieb

AI-based Testing of Autonomous Software Systems

In IRT SystemX, France. IRT SystemX, France - 27 October, 2021, 2021.
Status: Published
A. Gotlieb

Advanced Testing Methods for Robotic Software-Systems

In Bristol Robotics Lab., Bristol, UK. Bristol Robotics Lab., Bristol, UK. 12th May, 2021.
Status: Published
A. Gotlieb

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

In Data Week 2021, 2021.
Status: Published

Talks, contributed

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

Solve Optimization Problems with Unknown Constraint Networks

In PTHG workshop in CP (online), 2021.
Status: Published
H. Spieker and A. Gotlieb

Learning to Generate Fault-revealing Test Cases in Metamorphic Testing

In Software Engineering 2021. Bonn: Gesellschaft für Informatik e.V, 2021.
Status: Published
H. Spieker and A. Gotlieb

Summary of: Adaptive Metamorphic Testing with Contextual Bandits

In IEEE International Conference on Software Testing (ICST), 2021.
Status: Published
2020

Journal articles

A. Gotlieb, D. Marijan and H. Spieker

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

International Journal on Artificial Intelligence Tools 29, no. 3-4 (2020): 23.
Status: Published
H. Spieker and A. Gotlieb

Adaptive Metamorphic Testing with Contextual Bandits

Journal of Systems and Software 165 (2020).
Status: Published