AUTOMATED SOFTWARE MODEL GENERATION FOR IDENTIFYING AND MITIGATING CONCURRENCY VULNERABILITIES

$509,988FY2014Department of DefenseDOD

Virginia Polytechnic Institute & State University

Investigators