research
∙
08/31/2023
QuCAT: A Combinatorial Testing Tool for Quantum Software
With the increased developments in quantum computing, the availability o...
share
research
∙
08/10/2023
Test Case Minimization with Quantum Annealers
Quantum annealers are specialized quantum computers for solving combinat...
research
∙
06/29/2023
Noise-Aware Quantum Software Testing
Quantum Computing (QC) promises computational speedup over classic compu...
research
∙
05/28/2023
Online Causation Monitoring of Signal Temporal Logic
Online monitoring is an effective validation approach for hybrid systems...
research
∙
03/06/2023
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery
The use of autonomous robots for delivery of goods to customers is an ex...
research
∙
09/13/2022
Does Road Diversity Really Matter in Testing Automated Driving Systems? – A Registered Report
Background/Context. The use of automated driving systems (ADSs) in the r...
research
∙
04/18/2022
QuSBT: Search-Based Testing of Quantum Programs
Generating a test suite for a quantum program such that it has the maxim...
research
∙
09/16/2021
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems
This paper presents the first evaluation of k-nearest neighbours-Averagi...
research
∙
09/11/2021
On the Need for Multi-Level ADS Scenarios
Currently, most existing approaches for the design of Automated Driving ...
research
∙
08/30/2021
KNN-Averaging for Noisy Multi-objective Optimisation
Multi-objective optimisation is a popular approach for finding solutions...
research
∙
10/02/2019
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner
Autonomous cars are subjected to several different kind of inputs (other...
research
∙
06/27/2019
Repairing Timed Automata Clock Guards through Abstraction and Testing
Timed automata (TAs) are a widely used formalism to specify systems havi...
research
∙
11/27/2018