Primary tabs

Most recent publications

Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher

A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making

In Rencontres des Jeunes Chercheurs en Intelligence Artificielle, 2023.
Proceedings, refereed
2023
View
M. B. Belaid, N. Belmecheri, N. Lazaar, A. Gotlieb and H. Spieker

Approche générique pour l’acquisition de contraintes qualitatives

In JFPC, 2023.
Proceedings, refereed
2023
View
A. Gotlieb, M. Mossige and H. Spieker

Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics

In SAFECOMP2023 42nd International Conference on Computer Safety, Reliability and Security 19-22 September 2023, Toulouse, France, 2023.
Proceedings, refereed
2023
View
M. K. Ahuja, S. Sahil and H. Spieker

FoCA: Failure-oriented Class Augmentation for Robust Image Classification

In The 34th IEEE International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2022.
Proceedings, refereed
2022
View

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 and M. Mossige

Rotational Diversity in Multi-Cycle Assignment Problems

In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19). Vol. 33. AAAI, 2019.
Proceedings, refereed
2019
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

Background

PhD
Department of Informatics, University of Oslo
September 2020

Appointments

Visiting Researcher
Machine Learning and Artificial Intelligence Lab, University of Bonn, Germany
December 2021

Students under supervision

Find publication

Status

Departments

Publication type

Year published

Export 49 results:
2019

Proceedings, refereed

H. Spieker, A. Gotlieb and M. Mossige

Rotational Diversity in Multi-Cycle Assignment Problems

In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19). Vol. 33. AAAI, 2019.
Status: Published

Posters

H. Spieker

Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search

Conference on Artificial Intelligence (AAAI-19), Hawaii, USA, 2019.
Status: Published

Technical reports

M. K. Ahuja, H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

Survey on Testing of Deep Learning Systems

Simula Research Laboratory, 2019.
Status: Published
A. Gotlieb, P. Bernabé, D. Marijan and H. Spieker

SARCoS: Machine Learning Models for the Selection of Security Test Scenarios

Simula Research Laboratory, 2019.
Status: Accepted

Talks, invited

H. Spieker

Intelligent Software Testing with Reinforcement Learning and Constraint Programming

In Fraunhofer IAIS, Sankt Augustin, Germany, 2019.
Status: Published

Talks, contributed

P. Bernabé, H. Spieker, A. Gotlieb, D. Marijan and B. Legeard

Statistics AIS Dataset from Statsat

In Simula Research Laboratory, 2019.
Status: Published
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), Germany, 2019.
Status: Published
H. Spieker

How ABB and Certus work together to build better continuous integration testing of cyber-physical systems

In 14th Certus User Partner Workshop (UPW), Larvik, Norway, 2019.
Status: Published
H. Spieker

Deployment and Evolution of Machine Learning Artifacts: Research Perspectives

In 14th Certus User Partner Workshop (UPW), Larvik, Norway, 2019.
Status: Published
2018

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