Feature Specification and Static Analysis for Interaction Resolution.

Marc Aiguier Karim Berkani Pascale Le Gall

Published in: FM (2006)

Keyphrases

static analysis
dynamic analysis
abstract interpretation
source code
test case generation
regular expressions
symbolic execution
image features
malicious code
high resolution
feature set
user interaction
human computer interaction
java card
high level
reverse engineering