research
∙
03/22/2023
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Feature models are commonly used to specify the valid configurations of ...
share
research
∙
11/28/2022
Flexible Correct-by-Construction Programming
Correctness-by-Construction (CbC) is an incremental program construction...
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
∙
04/12/2022
Traits for Correct-by-Construction Programming
We demonstrate that traits are a natural way to support correctness-by-c...
research
∙
11/27/2018