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 14 results:
2022

Talks, contributed

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

GEQCA: Generic Qualitative Constraint Acquisition

In Lernen. Wissen. Daten. Analysen. (LWDA) - KDML Track, 2022.
Status: Published
2021

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
2019

Talks, contributed

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

Statistics AIS Dataset from Statsat

In Simula Research Laboratory, 2019.
Status: Published
A. Gotlieb

Simula Research Laboratory: Constraint Programming for Software Engineering

In NordConsNet Workshop 2019 - The 18th workshop of NordConsNet, the Nordic Network for researchers and practitioners of Constraint Programming, Norway, 2019.
Status: Published
A. Gotlieb and D. Marijan

The TSAR Project

In 14th Certus User Partner Workshop, Sep. 2019, Larvik, Norway, 2019.
Status: Published
M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson

Time-aware Test Execution Scheduling for Cyber-Physical Systems

In Gesellschaft für Informatik Software Engineering Conference 2019 (SE19), Germany, 2019.
Status: Published
2018

Talks, contributed

H. Spieker and A. Gotlieb

Estimating Objective Boundaries for Constraint Optimization Problems

In NordConsNet Workshop, Gothenburg, Sweden, 2018.
Status: Published
H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

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

In Gesellschaft für Informatik Software Engineering Conference 2018 (SE18), Ulm, Germany, 2018.
Status: Published