Software vulnerabilities precluded by spark. - Joyce L. Tokar; F. David Jones; Paul E. Black; Chris E. Dupilka (SIGAda, 2011)