An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications.

Helene Jouve Pascale Le Gall Sophie Coudert

Published in: FIW (2005)

Keyphrases

detection method
static analysis
dynamic analysis
source code
detection algorithm
face detection
feature detection
abstract interpretation
symbolic execution
image features
regular expressions
test generation
java card
malicious code
test suite
region detection
data model
database systems
high level