research
∙
08/24/2023
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation
The future of automated driving (AD) is rooted in the development of rob...
share
research
∙
06/02/2023
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics
Automated test execution scheduling is crucial in modern software develo...
research
∙
02/24/2022
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
Deep Learning (DL) has revolutionized the capabilities of vision-based s...
research
∙
11/04/2021
Predictive Machine Learning of Objective Boundaries for Solving COPs
Solving Constraint Optimization Problems (COPs) can be dramatically simp...
research
∙
04/24/2021
Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction
Reinforcement Learning (RL) agents have great successes in solving tasks...
research
∙
11/12/2020
Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling
Context: Tangled commits are changes to software that address multiple c...
research
∙
07/14/2020
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI
Trustworthiness is a central requirement for the acceptance and success ...
research
∙
06/20/2020
Learning Objective Boundaries for Constraint Optimization Problems
Constraint Optimization Problems (COP) are often considered without suff...
research
∙
10/01/2019
Adaptive Metamorphic Testing with Contextual Bandits
Metamorphic Testing is a software testing paradigm which aims at using n...
research
∙
02/12/2019
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Testing cyber-physical systems involves the execution of test cases on t...
research
∙
01/14/2019
Towards Testing of Deep Learning Systems with Training Set Reduction
Testing the implementation of deep learning systems and their training r...
research
∙
11/09/2018
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Testing in Continuous Integration (CI) involves test case prioritization...
research
∙
11/09/2018
Stratified Constructive Disjunction and Negation in Constraint Programming
Constraint Programming (CP) is a powerful declarative programming paradi...
research
∙
11/08/2018