DMCA

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection

by Vijay Ganesh , Shay Artzi , Philip J. Guo , Pieter Hooimeijer , Michael Ernst
Citations:10 - 3 self