Automated testing and debugging of configuration knowledge bases with direct diagnosis
Abstract Configuration knowledge bases are used to represent commonality and variability properties of physical products as well as software artifacts. These knowledge bases can become quite large and complex and – as a result – are in the need of testing and debugging support. If some test cases become inconsistent wi...