Validating static warnings via testing code fragments.

Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le

Browse the full ISSTA paper archive.