Automated tracing and visualization of software security structure and properties.

Wenbin Fang Barton P. Miller James A. Kupsch

Published in: VizSEC (2012)

Keyphrases

structural properties
semi automated
desirable properties
global structure
artificial intelligence
image sequences
evolutionary algorithm
network structure
structural information
fully automated
visual representation
topological properties
spatial structure
algebraic properties