Search-driven string constraint solving for vulnerability detection.

Julian Thom, Lwin Khin Shar, Domenico Bianculli, Lionel C. Briand

Browse the full ICSE paper archive.