Abstract
We present an experiment in feature interaction detection. We studied the 12 features defined for the first feature interaction contest held in association with the 5th international Feature Interaction Work- shop. We used a synchronous approach for modeling features, and both, a model-checker and a test generator for revealing interactions. The first part of the paper describes the feature modeling. The second part deals with the feature interaction detection carried out with a testing tool, and the last part addresses the use of a model-checker for the detection.
Cite
CITATION STYLE
Du Bousquet, L. (1999). Feature interaction detection using testing and model-checking experience report. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1708, pp. 622–641). Springer Verlag. https://doi.org/10.1007/3-540-48119-2_35
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
