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 19 results:
2012

Journal articles

A. Gotlieb

Tcas Software Verification Using Constraint Programming

The Knowledge Engineering Review 27 (2012).
Status: Published
N. Lazaar, A. Gotlieb and Y. Lebbah

A CP Framework for Testing CP

Constraints 17 (2012): 123-147.
Status: Published

Proceedings, refereed

S. Bardin and A. Gotlieb

fdcc: a Combined Approach for Solving Constraints Over Finite Domains and Arrays

In Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
R. Behjati, S. Nejati, T. Yue, A. Gotlieb and L. C. Briand

Model-Based Automated and Guided Configuration of Embedded Software Systems

In ECMFA 2012. Vol. 7349. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
M. Carlier, C. Dubois and A. Gotlieb

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest

In Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic. Vol. 7305. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
M. Delahaye, L. C. Briand, A. Gotlieb and M. Petit

MuTIL: Mutation-Based Statistical Test Inputs Generation for Automatic Fault Localization

In Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA. .: , 2012.
Status: Published
S. Di Alesio, A. Gotlieb, S. Nejati and L. C. Briand

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques

In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012), 2012.
Status: Published
C. Dubois and A. Gotlieb

A Certified Constraint Solver Over Finite Domains

In Proceedings of Formal Methods (FM'12), Paris, Aug. 2012. Vol. 7436. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
A. Gotlieb, A. Hervieu and B. Baudry

Minimum Pairwise Coverage Using Constraint Programming Techniques

In 2012 IEEE Fifth International Conference. IEEE, 2012.
Status: Published
A. Hervieu and A. Gotlieb

Managing Execution Environment Variability During Software Testing: an Industrial Experience

In Proceedings of the 24th IFIP Int. Conference on Testing Software and Systems (ICTSS'12). .: LNCS, 2012.
Status: Published