12 citations · 20 across the 6 of their papers we have counts for
6 papers
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
Dominik Krupke, Ahmad Moradi, Michael Perk +5
Modern software systems are typically configurable, a fundamental prerequisite for wide applicability and reusability. This flexibility poses an extraordinary challenge for quality…
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Tobias Pett, Sebastian Krieter, Thomas Thüm +1
Ensuring the functional safety of highly configurable systems often requires testing representative subsets of all possible configurations to reduce testing effort and save resourc…
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Chico Sundermann, Heiko Raab, Tobias Heß +2
Feature models are commonly used to specify the valid configurations of a product line. In industry, feature models are often complex due to a large number of features and constrai…
Flexible Correct-by-Construction Programming
Tobias Runge, Tabea Bordis, Alex Potanin +2
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a spec…
Traits for Correct-by-Construction Programming
Tobias Runge, Alex Potanin, Thomas Thüm +1
We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (…
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Alexander Knüppel, Thomas Thüm, Carsten Pardylla +1
Deductive verification of software has not yet found its way into industry, as complexity and scalability issues require highly specialized experts. The long-term perspective is, h…