realistic tool / software model checker / real Web applications / scientific solutions / web applications / software model checking / approximation algorithm / program analysis tools / software systems / security solutions / /
MarketIndex
S&P 2010 / / /
Position
Archer / King / /
Product
SQL Injection / /
ProgrammingLanguage
C / Javascript / HTML / Java / C++ / /
PublishedMedium
Phrack / /
Technology
DOM / HTML / Java / CAV / approximation algorithm / API / /