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

21 September 2023

Simula hosts visit from French government agencies

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 11 results:
2017

Journal articles

A. Gotlieb and D. Marijan

Using Global Constraints to Automate Regression Testing

AI Magazine 38, no. Spring (2017).
Status: Published
M. Mossige, A. Gotlieb and H. Meling

Deploying Constraint Programming for Testing ABB’s Painting Robots

AI Magazine 39, no. Summer (2017).
Status: Published

Proceedings, refereed

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

In Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA. AAAI, 2017.
Status: Published
D. Marijan, A. Gotlieb, M. Liaaen, S. Sen and C. Ieva

TITAN: Test Suite Optimization for Highly Configurable Software

In International Conference on Software Testing, Verification and Validation (ICST 2017) . IEEE, 2017.
Status: Published
M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson

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

In Proceedings of Principles of Constraint Programming (CP'17). Springer, 2017.
Status: Published
Q. Plazar, M. Acher, S. Bardin and A. Gotlieb

Efficient and Complete FD-Solving for Extended Array Constraints

In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI, 2017.
Status: Published
H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

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

In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Status: Published

Book chapters

M. Carlsson, A. Gotlieb and D. Marijan

Software Product Line Test Suite Reduction with Constraint Optimization

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Status: Published

Talks, keynote

A. Gotlieb

Testing Robotic Systems: A New Battlefield!

In French National Days of GDR-GPL 2017, Montpellier, France, 2017.
Status: Published

Talks, invited

A. Gotlieb

Intelligent Test Optimization

In TAROT Summer School on Software Testing, Jun. 26th, Naples, Italy, 2017.
Status: Published