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

Erik Rogstad has defended his PHD
22 January 2016

Erik Rogstad successfully defended his PhD

On Friday 29th of January, Erik Rogstad defended his PhD thesis "Automated regression testing of database applications". The defense took place at 13:00 in Storstua at Simula...
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.
October 2013

Students under supervision

Find publication

Status

Departments

Publication type

Year published

Export 74 results:
2017

Journal articles

A. Gotlieb and D. Marijan

Using Global Constraints to Automate Regression Testing

AI Magazine 38, no. Spring (2017).
Status: Accepted
M. Mossige, A. Gotlieb and H. Meling

Deploying Constraint Programming for Testing ABB’s Painting Robots

AI Magazine (Column on AI in Industry) 39, no. Summer (2017).
Status: Accepted

Proceedings, refereed

A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori

Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening

In Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA., 2017.
Status: Published
D. Marijan, A. Gotlieb, M. Liaaen, S. Sen and C. Ieva

TITAN: Test Suite Optimization for Highly Configurable Software

In International Conference on Software Testing, Verification and Validation (ICST 2017) ., 2017.
Status: Published
M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson

Time-aware Test Case Execution Scheduling for Cyber-Physical Systems

In Proceedings of Principles of Constraint Programming (CP'17)., 2017.
Status: Accepted
Q. Plazar, M. Acher, S. Bardin and A. Gotlieb

Efficient and Complete FD-Solving for Extended Array Constraints

In Int. Joint Conf. on Artificial Intelligence (IJCAI'17), Aug. 2017, Melbourne, Australia., 2017.
Status: Accepted
H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

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

In Proceedings of 26th International Symposium on Software Testing and Analysis , Santa Barbara, CA, USA, July 2017 (ISSTA’17)., 2017.
Status: Accepted
2016

Journal articles

R. Bagnara, M. Carlier, R. Gori and A. Gotlieb

Exploiting Binary Floating-Point Representations for Constraint Propagation

INFORMS Journal of Computing (JoC) 28, no. 1 (2016): 31-46.
Status: Published
A. Hervieu, D. Marijan, A. Gotlieb and B. Baudry

Practical Minimization of Pairwise-Covering Test Configurations Using Constraint Programming

Information and Software Technology 71 (2016): 129-146.
Status: Published
S. Wang, S. Ali, A. Gotlieb and M. Liaaen

A Systematic Test Case Selection Methodology for Product Lines: Results and Insights From an Industrial Case Study

Empirical Software Engineering 21, no. 4 (2016): 1586-1622.
Status: Published