Sciweavers

16 search results - page 4 / 4
» Automated Fix Generator for SQL Injection Attacks
Sort
View
ISSTA
2009
ACM
13 years 12 months ago
HAMPI: a solver for string constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter H...