C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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