Goal-Oriented Test Data Generation for Programs with Pointer Variables.

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Browse the full COMPSAC paper archive.