Title of article
Goal-oriented test data generation for pointer programs
Author/Authors
Arnaud Gotlieb، نويسنده , , Tristan Denmat، نويسنده , , Bernard Botella، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2007
Pages
15
From page
1030
To page
1044
Keywords
Goal-oriented test data generation , constraint logic programming , Pointer variables , Static single assignment form
Journal title
Information and Software Technology
Serial Year
2007
Journal title
Information and Software Technology
Record number
135337
Link To Document