8 citations · 29 across the 12 of their papers we have counts for
13 papers
Witnesses and Counterexamples for Timed Bisimulation
Alexander Lieb, Malte Lochau
Timed automata provide a modeling formalism for time-critical properties of reactive systems with discrete-state/continuous-time behaviors. To handle the infinite state space of ti…
Checking Timed Bisimilarity with Virtual Clocks
Alexander Lieb, Hendrik Göttmann, Lars Luthmann +2
Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of…
Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
Robert Müller, Mathis Weiß, Malte Lochau
Cardinality-based feature models permit to select multiple copies of the same feature, thus generalizing the notion of product configurations from subsets of Boolean features to mu…
Abstract Domains for Database Manipulating Processes
Tobias Schüler, Stephan Mennicke, Malte Lochau
Database manipulating systems (DMS) formalize operations on relational databases like adding new tuples or deleting existing ones. To ensure sufficient expressiveness for capturing…
On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies
Sebastian Ruland, Malte Lochau
Unit testing is one of the most established quality-assurance techniques for software development. One major advantage of unit testing is the adjustable trade-off between efficienc…
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Sebastian Krieter, Thomas Thüm, Sandro Schulze +4
Sampling techniques, such as t-wise interaction sampling are used to enable efficient testing for configurable systems. This is achieved by generating a small yet representative sa…