A Goal-oriented Test Data Generation for Programs with Pointers based on SAT
In-Sang Chung, Journal of Internet Computing and Services, Vol. 9, No. 2, pp. 89-106, Apr. 2008
Full Text:
Keywords: Program Testing, Automated Program Test Data Generation, SAT, First-order Relational Language, Alloy
Abstract
Statistics
Show / Hide Statistics
Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.
Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.
|
Cite this article
[APA Style]
Chung, I. (2008). A Goal-oriented Test Data Generation for Programs with Pointers based on SAT. Journal of Internet Computing and Services, 9(2), 89-106.
[IEEE Style]
I. Chung, "A Goal-oriented Test Data Generation for Programs with Pointers based on SAT," Journal of Internet Computing and Services, vol. 9, no. 2, pp. 89-106, 2008.
[ACM Style]
In-Sang Chung. 2008. A Goal-oriented Test Data Generation for Programs with Pointers based on SAT. Journal of Internet Computing and Services, 9, 2, (2008), 89-106.