Static Analysis of Programs with Graphical User Interface.

Published in: CSMR (2007)

Keyphrases

static analysis
graphical user interface
symbolic execution
user friendly
dynamic analysis
source code
abstract interpretation
malicious code
visualization tool
java card
regular expressions
test generation
databases
api calls
user interface
data analysis
open source
graphical user interfaces
high level
metadata