مرکز منطقه ای اطلاع رساني علوم و فناوري - Goal-oriented test data generation for pointer programs

Title of article :

Goal-oriented test data generation for pointer programs

Author/Authors :

Arnaud Gotlieb، نويسنده , , Tristan Denmat، نويسنده , , Bernard Botella، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 2007

Pages :

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 :