Precise pointer reasoning for dynamic test generation.

Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin

Browse the full ISSTA paper archive.