11 citations · 38 across the 7 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.SE2011★ 2 cited
Feature-Aware Verification
Sven Apel, Hendrik Speidel, Philipp Wendler +2
A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in…
cs.SE2011
Conditional Model Checking
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu +1
Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, an…