Primary tabs

Selected publications

H. Spieker and A. Gotlieb

Adaptive Metamorphic Testing with Contextual Bandits

Journal of Systems and Software 165 (2020).
Journal Article
2020
View
H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

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

In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017
View
D. Marijan, A. Gotlieb and M. Liaaen

A learning algorithm for optimizing continuous integration development and testing practice

Software: Practice and Experience 49, no. 2 (2019): 192-213.
Journal Article
2019
View
A. Gotlieb and D. Marijan

Using Global Constraints to Automate Regression Testing

AI Magazine 38, no. Spring (2017).
Journal Article
2017
View

News

18 February 2021

Simula and Inria join forces in software engineering

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 15 results:
2017

Journal articles

A. Gotlieb and D. Marijan

Using Global Constraints to Automate Regression Testing

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

Deploying Constraint Programming for Testing ABB’s Painting Robots

AI Magazine 39, no. Summer (2017).
Status: Published

Book chapters

M. Carlsson, A. Gotlieb and D. Marijan

Software Product Line Test Suite Reduction with Constraint Optimization

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Status: Published

Talks, invited

A. Gotlieb

Intelligent Test Optimization

In TAROT Summer School on Software Testing, Jun. 26th, Naples, Italy, 2017.
Status: Published
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 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