280 citations · 358 across the 13 of their papers we have counts for
8 papers · 1 filter
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…
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…
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…
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…
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…