A Static Approach to Automated Test Data Generation in the Presence of Pointers. - Insang Chung (ISCIS, 2004)

Generating input data structures for automated program testing. - Insang Chung; James M. Bieman (Softw. Test. Verification Reliab., 2009)