Primary tabs

Selected publications

A. Gotlieb, M. Carlsson, M. Liaaen, D. Marijan and A. Petillon

Automated Regression Testing Using Constraint Programming

In Twenty-Eighth Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, USA, Feb. 2016., 2016.
Proceedings, refereed
2016
View
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.
Journal Article
2015
View
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.
Proceedings, refereed
2014
View
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.
Proceedings, refereed
2014
View

News

10 August 2018

Simula part of European AI project

The AI4EU project, which Simula is part of, has been granted EUR 20 million to build a European AI-on-demand platform. With 80 partners in 21 countries this platform aims to stimulate scientific...
Read more

Projects

Circuitboard

ABB Robotics: Automated Software Testing of Complex Industrial Robotics Systems

Optimisation watch

Forny-Titan

The Certus logo

The Certus Centre (SFI)

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 2016

Students under supervision

Find publication

Status

Departments

Publication type

Year published

Export 88 results:
2018

Journal articles

C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar

Discovering Program Topoi via Hierarchical Agglomerative Clustering

IEEE Transactions on Reliability (2018): 1-13.
Status: Published
S. Sen, D. Marijan and A. Gotlieb

Certus: an organizational effort towards research-based innovation in software verification and validation

International Journal of Systems Assurance Engineering and Management 9, no. 2 (2018): 313-322.
Status: Published

Proceedings, refereed

A. Gotlieb, D. Marijan and H. Spieker

Stratified Constructive Disjunction and Negation in Constraint Programming

In International Conference on Tools with Artificial Intelligence., 2018.
Status: Accepted
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar

Discovering Program Topoi Through Clustering

In Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. AAAI Press, 2018.
Status: Published
H. Spieker and A. Gotlieb

Towards Hybrid Constraint Solving with Reinforcement Learning and Constraint-Based Local Search

In Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting., 2018.
Status: Published

Talks, keynote

A. Gotlieb

Artificial Intelligence in Software Testing: An Overview. Application to Industrial Robotics

In French Days on Software Testing (JFTL'18), Paris, France., 2018.
Status: Published
A. Gotlieb

AI-Powered Testing of Industrial Robots

In ALTEN TalentCamp, Paris, France., 2018.
Status: Published

Posters

H. Spieker, A. Gotlieb and M. Mossige

Different Cycle, Different Assignment: Diversity in Assignment Problems with Multiple Cycles

AAAI'18, 2018.
Status: Published

Talks, contributed

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)., 2018.
Status: Published
H. Spieker and A. Gotlieb

Estimating Objective Boundaries for Constraint Optimization Problems

In NordConsNet Workshop, Gothenburg., 2018.
Status: Published