Helge Spieker

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

Feb 24, 2022
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker

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

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

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

* Artificial Intelligence in Software Testing 2022 workshop @ ICST 2022

Access Paper or Ask Questions

Predictive Machine Learning of Objective Boundaries for Solving COPs

Nov 04, 2021
Helge Spieker, Arnaud Gotlieb

Figure 2 for Predictive Machine Learning of Objective Boundaries for Solving COPs

Figure 3 for Predictive Machine Learning of Objective Boundaries for Solving COPs

Figure 4 for Predictive Machine Learning of Objective Boundaries for Solving COPs

* AI 2021, 2, 527-551

Access Paper or Ask Questions

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

Apr 24, 2021
Helge Spieker

Figure 2 for Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction

Figure 3 for Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction

Figure 4 for Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction

* IJCNN 2021

Access Paper or Ask Questions

Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI

Jul 14, 2020
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker

Figure 2 for Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI

* 1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020

Access Paper or Ask Questions

Learning Objective Boundaries for Constraint Optimization Problems

Jun 20, 2020
Helge Spieker, Arnaud Gotlieb

Figure 2 for Learning Objective Boundaries for Constraint Optimization Problems

Figure 3 for Learning Objective Boundaries for Constraint Optimization Problems

* The 6th International Conference on machine Learning, Optimization and Data science - LOD 2020

Access Paper or Ask Questions

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

Feb 12, 2019
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

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

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

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

* In: Beck J. (eds) Principles and Practice of Constraint Programming. CP 2017. Lecture Notes in Computer Science, vol 10416. Springer, Cham
* Published in the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)

Access Paper or Ask Questions

Towards Testing of Deep Learning Systems with Training Set Reduction

Jan 14, 2019
Helge Spieker, Arnaud Gotlieb

Figure 2 for Towards Testing of Deep Learning Systems with Training Set Reduction

Figure 3 for Towards Testing of Deep Learning Systems with Training Set Reduction

Figure 4 for Towards Testing of Deep Learning Systems with Training Set Reduction

Access Paper or Ask Questions

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

Nov 09, 2018
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige

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

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

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

* Spieker, H., Gotlieb, A., Marijan, D., & Mossige, M. (2017). Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. In Proceedings of 26th International Symposium on Software Testing and Analysis (ISSTA'17) (pp. 12--22). ACM

Access Paper or Ask Questions

Stratified Constructive Disjunction and Negation in Constraint Programming

Nov 09, 2018
Arnaud Gotlieb, Dusica Marijan, Helge Spieker

Figure 2 for Stratified Constructive Disjunction and Negation in Constraint Programming

Figure 3 for Stratified Constructive Disjunction and Negation in Constraint Programming

* Published in the SAT/CSP Track of the International Conference on Tools with Artificial Intelligence (ICTAI 2018)

Access Paper or Ask Questions

Rotational Diversity in Multi-Cycle Assignment Problems

Nov 08, 2018
Helge Spieker, Arnaud Gotlieb, Morten Mossige

Figure 2 for Rotational Diversity in Multi-Cycle Assignment Problems

Figure 3 for Rotational Diversity in Multi-Cycle Assignment Problems

Figure 4 for Rotational Diversity in Multi-Cycle Assignment Problems

* AAAI-19

Access Paper or Ask Questions