Digital Library


Search: " author: Yun Ja Choi" (5)
    Development of Analysis and Visualization Tool for Java Source Code Changes using Reverse Engineering Technique
    Jin Wook Kwon , Yun Ja Choi , Woo Jin Lee KIPS Transactions on Software and Data Engineering, Vol. 19, No. 1, pp. 39-48, Jan. 2012
    10.3745/KIPSTD.2012.19.1.39


    A Model Translator for Checking Behavioral Consistency of Abstract Components
    Hoon Jang , Min Gyu Park , Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 18, No. 6, pp. 443-450, Jun. 2011
    10.3745/KIPSTD.2011.18.6.443


    Bottom-up Composition and Verification of Embedded Software
    Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 17, No. 6, pp. 415-422, Jun. 2010
    10.3745/KIPSTD.2010.17.6.415


    Using Model Checking to Verify an Automotive Electric Parking Brake System
    Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 167-176, Apr. 2017
    10.3745/KTSDE.2017.6.4.167
    Keywords: Model Checking, Automotive Verification, Formal Verification, Safety Requirement


    Code Slicing Tool for Effective Software Verification
    Ming Yu Park , Dong Woo Kim , Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 1-8, Jan. 2015
    10.3745/KTSDE.2015.4.1.1