Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection.

Tie Cheng Xavier Rival

Published in: ESOP (2015)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
object detection
detection method
test generation
malicious code
symbolic execution
abstract interpretation
detection algorithm
java card
domain knowledge
anomaly detection
intrusion detection
cd rom