Static analysis of topology-dependent broadcast networks.

Sebastian Nanz Flemming Nielson Hanne Riis Nielson

Published in: Inf. Comput. (2010)

Keyphrases

static analysis
dynamic analysis
source code
small world
malicious code
abstract interpretation
symbolic execution
java card
regular expressions
network structure
social networks
test suite
complex networks
data model
case study
test generation
artificial intelligence
digital television
test case generation
data sets