2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 2 cited
Domain Types: Selecting Abstractions Based on Variable Usage
Sven Apel, Dirk Beyer, Karlheinz Friedberger +2
The success of software model checking depends on finding an appropriate abstraction of the subject program. The choice of the abstract domain and the analysis configuration is cur…
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…