Primary tabs

Selected publications

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
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.
Book Chapter
2015
View

News

Carlo Ieva defends his PhD
16 November 2018

Carlo Ieva defended his PhD

On Friday, 23rd, November, Carlo Ieva defended his PhD thesis “Unveiling Source Code Latent Knowledge. Discovering Program Topoi”. The defense took place at LIRMM, University of Montpellier (France).
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)

Testing of Learning Robots (T-Largo)

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 95 results:
2019

Journal articles

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.
Status: Published

Proceedings, refereed

M. Collet, A. Gotlieb, N. Lazaar and M. Mossige

Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories

In Proc. of the 1st IEEE Artificial Intelligence Testing Conference (AI Test 2019). San Francisco, CA, USA. Apr. 2019., 2019.
Status: Accepted
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar

Deploying Smart Program Understanding on a Large Code Base

In Proc. of the 1st IEEE Artificial Intelligence Testing Conference (AI Test 2019). San Francisco, Apr. 2019., 2019.
Status: Accepted
D. Marijan, A. Gotlieb and M. K. Ahuja

Challenges of Testing Machine Learning Based Systems

In IEEE AI Testing. IEEE, 2019.
Status: Published
H. Spieker, A. Gotlieb and M. Mossige

Rotational Diversity in Multi-Cycle Assignment Problems

In Proc. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). Hawai, USA. Feb. 2019., 2019.
Status: Published

Talks, contributed

M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson

Time-aware Test Execution Scheduling for Cyber-Physical Systems

In Gesellschaft für Informatik Software Engineering Conference 2019 (SE19)., 2019.
Status: Published
2018

Journal articles

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

Discovering Program Topoi via Hierarchical Agglomerative Clustering

IEEE Transactions on Reliability 67, no. 3 (2018): 758-770.
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 Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018. IEEE, 2018.
Status: Published
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar

Discovering Program Topoi Through Clustering

In Proceedings of the Thirty-Second IAAI/AAAI Conference on Innovative Applications of Artificial Intelligence. AAAI Press, 2018.
Status: Published