JICS

Digital Library

Search: "[ keyword: Automated Program Test Data Generation ]" (1)

1. A Goal-oriented Test Data Generation for Programs with Pointers based on SAT

In-Sang Chung, Vol. 9, No. 2, pp. 89-106, Apr. 2008
Keywords: Program Testing, Automated Program Test Data Generation, SAT, First-order Relational Language, Alloy