Abstract interpretation-based semantic framework for software birthmark.

Ying Zeng Fenlin Liu Xiangyang Luo Shiguo Lian

Published in: Comput. Secur. (2012)

Keyphrases

abstract interpretation
dynamic analysis
static analysis
database
termination analysis
multi agent systems
software systems
pattern matching
model checking
information systems
source code
software architecture