Digital Library


Search: " author: In Sang Chung" (7)
    An automation method for GUI test using a UIA Library
    Chang Min Choi , In Sang Chung , Hyeon Soo Kim KIPS Transactions on Software and Data Engineering, Vol. 18, No. 5, pp. 343-356, May. 2011
    10.3745/KIPSTD.2011.18.5.343


    Detection of Potential Memory Access Errors based on Assembly Codes
    Hyun Soo Kim , Byeong Man Kim , Hyun Seop Bae , In Sang Chung KIPS Transactions on Software and Data Engineering, Vol. 18, No. 1, pp. 35-44, Jan. 2011
    10.3745/KIPSTD.2011.18.1.35


    Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers
    In Sang Chung KIPS Transactions on Software and Data Engineering, Vol. 17, No. 4, pp. 297-310, Apr. 2010
    10.3745/KIPSTD.2010.17.4.297


    Automated Black-Box Test Case Generation for MC/DC with SAT
    In Sang Chung KIPS Transactions on Software and Data Engineering, Vol. 16, No. 6, pp. 911-920, Jun. 2009
    10.3745/KIPSTD.2009.16.6.911


    Automated Test Data Generation for Testing Programs with Flage Variables Based on SAT
    In Sang Chung KIPS Transactions on Software and Data Engineering, Vol. 16, No. 3, pp. 371-380, Mar. 2009
    10.3745/KIPSTD.2009.16.3.371


    An Alloy Specification Based Automated Test Data Generation Technique
    In Sang Chung KIPS Transactions on Software and Data Engineering, Vol. 14, No. 2, pp. 191-202, Feb. 2007
    10.3745/KIPSTD.2007.14.2.191


    Automated Test Data Generation for Dynamic Branch Coverage
    In Sang Chung KIPS Transactions on Software and Data Engineering, Vol. 2, No. 7, pp. 451-460, Jul. 2013
    10.3745/KTSDE.2013.2.7.451