Test Input Generation for Programs with Pointers.

Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens

Browse the full TACAS paper archive.