| University of Virginia Department of Computer Science |
Mary Lou Soffa |
Research
Projects
Marple: A Demand Driven Path-Sensitive
Framework to Detect, Diagnosis and Test for Software Vulnerabilities