Digital Library


Search: "[ author: Wook Shin ]" (3)
    A Generalized Framework for Efficiently Implementing Arbitrary Cache-Conscious Search Trees
    Woong Kee Loh , Won Sik Kim , Wook Shin Han The KIPS Transactions:PartD, Vol. 14, No. 1, pp. 21-34, Feb. 2007
    10.3745/KIPSTD.2007.14.1.21


    E - BLP Security Model for Secure Linux System and Its Implementation
    Jung Min Kang, Wook Shin, Chun Gu Park, Dong Ik Lee The KIPS Transactions:PartA, Vol. 8, No. 4, pp. 391-398, Dec. 2001
    10.3745/KIPSTA.2001.8.4.391


    Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver
    Ki-Wook Shin, Dong-Jin Lim KIPS Transactions on Software and Data Engineering, Vol. 6, No. 8, pp. 385-390, Aug. 2017
    10.3745/KTSDE.2017.6.8.385
    Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver