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
∙
08/26/2022
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
In program verification, constraint-based random testing is a powerful t...
research
∙
04/30/2022
Software Testing for Machine Learning
Machine learning has become prevalent across a wide variety of applicati...
research
∙
04/23/2022
Industry-Academia Research Collaboration in Software Engineering: The Certus Model
Context: Research collaborations between software engineering industry a...
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/23/2021
Solve Optimization Problems with Unknown Constraint Networks
In most optimization problems, users have a clear understanding of the f...
research
∙
11/04/2021
Predictive Machine Learning of Objective Boundaries for Solving COPs
Solving Constraint Optimization Problems (COPs) can be dramatically simp...
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
Rotational Diversity in Multi-Cycle Assignment Problems
In multi-cycle assignment problems with rotational diversity, a set of t...
research
∙
12/01/2013
A Combined Approach for Constraints over Finite Domains and Arrays
Arrays are ubiquitous in the context of software verification. However, ...
research
∙
08/18/2013