280 citations · 358 across the 13 of their papers we have counts for
15 papers
A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making
Q. Mazouni, H. Spieker, A. Gotlieb +1
In sequential decision making, neural networks (NNs) are nowadays commonly used to represent and learn the agent's policy. This area of application has implied new software quality…
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1
The future of automated driving (AD) is rooted in the development of robust, fair and explainable artificial intelligence methods. Upon request, automated vehicles must be able to…
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics
Arnaud Gotlieb, Morten Mossige, Helge Spieker
Automated test execution scheduling is crucial in modern software development environments, where components are frequently updated with changes that impact their integration with…
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Deep Learning (DL) has revolutionized the capabilities of vision-based systems (VBS) in critical applications such as autonomous driving, robotic surgery, critical infrastructure s…
Predictive Machine Learning of Objective Boundaries for Solving COPs
Helge Spieker, Arnaud Gotlieb
Solving Constraint Optimization Problems (COPs) can be dramatically simplified by boundary estimation, that is, providing tight boundaries of cost functions. By feeding a supervise…
Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction
Helge Spieker
Reinforcement Learning (RL) agents have great successes in solving tasks with large observation and action spaces from limited feedback. Still, training the agents is data-intensiv…
A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits
Steffen Herbold, Alexander Trautsch, Benjamin Ledel +45
Context: Tangled commits are changes to software that address multiple concerns at once. For researchers interested in bugs, tangled commits mean that they actually study not only…
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé +7
Trustworthiness is a central requirement for the acceptance and success of human-centered artificial intelligence (AI). To deem an AI system as trustworthy, it is crucial to assess…
Learning Objective Boundaries for Constraint Optimization Problems
Helge Spieker, Arnaud Gotlieb
Constraint Optimization Problems (COP) are often considered without sufficient knowledge on the boundaries of the objective variable to optimize. When available, tight boundaries a…
Adaptive Metamorphic Testing with Contextual Bandits
Helge Spieker, Arnaud Gotlieb
Metamorphic Testing is a software testing paradigm which aims at using necessary properties of a system-under-test, called metamorphic relations, to either check its expected outpu…
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Morten Mossige, Arnaud Gotlieb, Helge Spieker +2
Testing cyber-physical systems involves the execution of test cases on target-machines equipped with the latest release of a software control system. When testing industrial robots…
Towards Testing of Deep Learning Systems with Training Set Reduction
Helge Spieker, Arnaud Gotlieb
Testing the implementation of deep learning systems and their training routines is crucial to maintain a reliable code base. Modern software development employs processes, such as…
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Helge Spieker, Arnaud Gotlieb, Dusica Marijan +1
Testing in Continuous Integration (CI) involves test case prioritization, selection, and execution at each cycle. Selecting the most promising test cases to detect bugs is hard if…
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Constraint Programming (CP) is a powerful declarative programming paradigm where inference and search are interleaved to find feasible and optimal solutions to various type of cons…
Multi-Cycle Assignment Problems with Rotational Diversity
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Multi-cycle assignment problems address scenarios where a series of general assignment problems has to be solved sequentially. Subsequent cycles can differ from previous ones due t…