Abstract. At the second workshop on feature interactions, we proposed a statebased model for specifying features and proposed reachability-analysis algorithms for detecting various types of feature interactions. This paper is an evaluation of our approach with respect to the Bellcore benchmark of feature interactions.
Pansy K. Au, Joanne M. Atlee