Detection of feature interactions using feature-aware verification. - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (ASE, 2011)

Feature-Aware Verification - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (CoRR, 2011)