Digital Library[ Search Result ]


Search : "[ author: In Sang Chung ]" (6)
An automation method for GUI test using a UIA Library
Chang Min Choi   In Sang Chung   Hyeon Soo Kim
Vol. 18, No. 5, pp. 343-356, Oct. 2011
10.3745/KIPSTD.2011.18.5.343
Automated Black-Box Test Case Generation for MC/DC with SAT
In Sang Chung
Vol. 16, No. 6, pp. 911-920, Dec. 2009
10.3745/KIPSTD.2009.16.6.911
Automated Test Data Generation for Testing Programs with Flage Variables Based on SAT
In Sang Chung
Vol. 16, No. 3, pp. 371-380, Jun. 2009
10.3745/KIPSTD.2009.16.3.371
An Alloy Specification Based Automated Test Data Generation Technique
In Sang Chung
Vol. 14, No. 2, pp. 191-202, Apr. 2007
10.3745/KIPSTD.2007.14.2.191