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:
2015

Journal articles

M. Delahaye, B. Botella and A. Gotlieb

Infeasible Path Generalization in Dynamic Symbolic Execution

Information and Software Technology 58 (2015): 403-418.
Status: Published
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) 25, no. 1 (2015): 1-37.
Status: Published
M. Mossige, A. Gotlieb and H. Meling

Testing Robot Controllers using Constraint Programming and Continuous Integration

Information and Software Technology 57 (2015): 169-185.
Status: Published
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 (2015): 1-25.
Status: Published
T. Tse, A. Gotlieb and z. chen

Focus section on quality software

Software, Practice and Experience 45, no. 7 (2015): 873-874.
Status: Published
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 (2015): 1-25.
Status: Published
S. Wang, S. Ali and A. Gotlieb

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

Journal of Systems and Software 103 (2015): 370-391.
Status: Published

Proceedings, refereed

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

Synthesis of attributed feature models from product descriptions

In Proceedings of the 19th International Conference on Software Product Line, SPLC'15, Nashville, USA, July 20-24., 2015.
Status: Published
A. Gotlieb, D. Marijan and S. Sen

Towards More Relational Feature Models

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

Book chapters

A. Gotlieb

Constraint-Based Testing: An Emerging Trend in Software Testing

In Advances in Computers, 67-101. ADCOM, UK: Academic Press ed. Vol. 99. Elsevier, 2015.
Status: Published