Wenbin Fang, Barton P. Miller, James A. Kupsch. Automated tracing and visualization of software security structure and properties. In Dino Schweitzer, Daniel Quist, editors, 2012 Symposium on Visualization for Cyber Security, VizSec '12, Seattle, WA, USA, October 15, 2012. pages 9-16, ACM, 2012. [doi]
Abstract is missing.