research
∙
08/07/2023
Abstract Domains for Database Manipulating Processes
Database manipulating systems (DMS) formalize operations on relational d...
share
research
∙
07/26/2022
On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies
Unit testing is one of the most established quality-assurance techniques...
research
∙
05/30/2022
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Sampling techniques, such as t-wise interaction sampling are used to ena...
research
∙
10/20/2019
Checking Timed Bisimulation with Bounded Zone-History Graphs – Technical Report
Timed automata (TA) are a well-established formalism for discrete-state/...
research
∙
09/09/2019
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report
I/O conformance testing theories (e.g., ioco) are concerned with formall...
research
∙
04/26/2019