Primary tabs

Most recent publications

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
M. K. Ahuja, A. Gotlieb and H. Spieker

Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques

In Artificial Intelligence in Software Testing @ 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 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

News

14 September 2020

Helge Spieker successfully defended his PhD

Projects

AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction

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 46 results:
2021

Journal articles

H. Spieker and A. Gotlieb

Predictive Machine Learning of Objective Boundaries for Solving COPs

AI 2, no. 4 (2021): 527-551.
Status: Published

Proceedings, refereed

M. K. Ahuja, M. B. Belaid, P. Bernabé, A. Gotlieb, D. Marijan, A. Sharif and H. Spieker

Improving the Reliability of Autonomous Software Systems through Metamorphic Testing

In Proceedings of the 31st European Safety and Reliability Conference (ESREL). ESREL, 2021.
Status: Published
P. Bernabé, H. Spieker, B. Legeard and A. Gotlieb

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)

In Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. AAAI, 2021.
Status: Published
P. Bernabé, A. Gotlieb, B. Legeard, F. O. Sem-Jacobsen and H. Spieker

Apprentissage auto-supervisé pour la détection d’actions illégales lors de la surveillance du trafic maritime

In Applications Pratiques de l’Intelligence Artificielle. AFIA, 2021.
Status: Published
H. Spieker

Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction

In International Joint Conference on Neural Networks (IJCNN). IEEE, 2021.
Status: Published

Book chapters

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

In Software Engineering for Robotics, 109-137. Cham: Springer Nature, 2021.
Status: Published

Posters

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

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)

AAAI Conference on Artificial Intelligence (AAAI-21), Student Abstract and Poster Program, 2021.
Status: Published

Talks, contributed

H. Spieker and A. Gotlieb

Learning to Generate Fault-revealing Test Cases in Metamorphic Testing

In Software Engineering 2021. Bonn: Gesellschaft für Informatik e.V, 2021.
Status: Published
H. Spieker and A. Gotlieb

Summary of: Adaptive Metamorphic Testing with Contextual Bandits

In IEEE International Conference on Software Testing (ICST), 2021.
Status: Published

Miscellaneous

M. Mossige, R. Ramachandran and H. Spieker

AI4EU Robotics Pilot: Vibration sensor measurements in a robotic wrist

Zenodo, 2021.
Status: Published