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 10 results:
2014

Edited books

A. Gotlieb and G. Shroff

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

IEEE, 2014.
Status: Published

Proceedings, refereed

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

In The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014), 2014.
Status: Published
A. Gotlieb and D. Marijan

FLOWER: Optimal Test Suite Reduction As a Network Maximum Flow

In Proceedings of Int. Symp. on Soft. Testing and Analysis (ISSTA'14), San José, CA, USA, Jul. 2014. New York, USA: ACM, 2014.
Status: Published
M. Mossige, A. Gotlieb and H. Meling

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

In Proceedings of Principles of Constraint Programming (CP'14), Lyon, France, Sep. 2014 - Best Application Track Paper. Zwitzerland: LNCS, 2014.
Status: Published
M. Mossige, A. Gotlieb and H. Meling

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

In Proceedings of IFIP Int. Conf. on Testing Software and Systems (ICTSS'14), Madrid, Spain, Sep. 2014 - Application Track. Berlin, Heidelberg: LNCS, 2014.
Status: Published
S. Wang, S. Ali and A. Gotlieb

Random-Weighted Search-Based Multi-Objective Optimization Revisited

In International Symposium on Search-Based Software Engineering (SSBSE'14), Fortaleza, Brazil. Switzerland : Springer International Publishing, 2014.
Status: Published
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

In Software Product Line Conference (SPLC14), Florence, Italy. New York, USA: ACM, 2014.
Status: Published

Talks, contributed

C. Dubois and A. Gotlieb

Towards an Effective Formally Certified Constraint Solver

In Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France. .: , 2014.
Status: Published
A. Gotlieb and V. Ganesh

Challenges in Constraint-Based Testing

In Selected talk at 'Verification meets CP' workshop 2014, Lyon, France. .: , 2014.
Status: Published
A. Gotlieb

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

In Dagsthul Seminar (Symbolic Methods and Constraint Solving) , 2014.
Status: Published