Automated Test Data Generation for Testing Programs with Flage Variables Based on SAT
Vol. 16, No. 3, pp. 371-380, Jun. 2009
10.3745/KIPSTD.2009.16.3.371
Abstract
Statistics
|
Cite this article
[IEEE Style]
I. S. Chung, "Automated Test Data Generation for Testing Programs with Flage Variables Based on SAT," The KIPS Transactions:PartD, vol. 16, no. 3, pp. 371-380, 2009. DOI: 10.3745/KIPSTD.2009.16.3.371.
[ACM Style]
In Sang Chung. 2009. Automated Test Data Generation for Testing Programs with Flage Variables Based on SAT. The KIPS Transactions:PartD, 16, 3, (2009), 371-380. DOI: 10.3745/KIPSTD.2009.16.3.371.