소프트웨어공학연구실

     

·Jihyun Park,Changsun Park, Byoungju Choi, Gihun Chang, "Memory Corruption Detecting Method Using Static Variables and Dynamic Memory Usage", pp46-52, 40th ICSE2018 ACM/IEEE 13th Workshop on Automated Software Testing, Sweden , May28-29, 2018

 

· Charitha Hettiarachchi, Hyunsook Do, Byoungju Choi, "Effective Regression Testing Using Requirements

  and Risks", 8th Int. Conf on Software Security and Reliability, pp , San Francisco, USA , June30-July 2, 2014

 

· Vidroha Debroy, W. Eric Wong, Xiaofeng Xu, Byoungju Choi, "A Grouping-Based Strategy to Improve

  the Effectiveness of Fault Localiztion Techniques", The 10th Int. Conf on Quality Software, pp.13-22 , China,

  Jul 14-15, 2010.

· Heejin Kim, Byoungju Choi, W. Eric Wong, "Performance Testing of Mobile Applications at the Unit Test",  The 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2009), pp.165-174 , Shanghai, China, Jul 8-10, 2009.

· Hyejin Oh, Byoungju Choi, Hyuksoo Han, W. Eric Wong, "Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments", 8th Int. Conf on Quality Software,   pp.57-66 , Oxford, UK, Aug 12-13, 2008.

· Jooyoung Seo, Yuhoon Ki, Byoungju Choi, Kwanghyun La, "Which Spot Should I Test for Effective Embedded Software Testing?",  IEEE Conference on Secure System Integration and  Reliability Improvement(SSIRI2008), Yokohama Japan, pp135-142, Jul

· W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi , "An EFSM-based Test Generation for Validation of SDL Specifications", 30th ICSE2008 Automated Software Testing Workshop, pp,  Leipzig , Germany , May 10-18, 2008

· Hoijin Yoon, Eun Mi Ji, Byoungju Choi, "Generating Test Requirements for the Service Connections based on the Layers of SOA", 1st Int.Conf. On Software Testing,Verification and Validation (ICST2008), Apr 2008

· Eunmi Jee, Hoijin Yoon, Byoungju Choi, "Building Test Steps for SOA Service Orchestration in    Web Service Testing Tools", The Second International Conference on Ubiquitous Information Management and Communication, pp572-574,  Suwon, Korea,  Jan 2008

· Uihoon Ki, Jooyong Seo, Byoungju Choi, Kwonhyun La, "Tool Support of  New Test Criteria on Embedded Systems: Justitia", The Second International Conference on Ubiquitous Information Management and Communication, pp382-386, Suwon, Korea,  Jan 2008 

· Jooyoung Seo,Ahyoung Sung, Byoungju Choi, Sungbong Kang "Automating Embedded Software Testing on an Emulated Target Board", 29th ICSE2007 Automated Software Testing Workshop,    pp73~80, Minneaoilis, USA, May 2007

· Ahyoung Sung, Jina Jang, Byoungju Choi, "Interface Analysis for Communication Tasks in the Safety Grade Programmable logic Controller", ANS:Nuclear Technology'2006, pp111~112,    Albuquerque, New Mexico USA, Nov 2006(→ Transactions of the American Nuclear Society Vol95    No1 ISSN:0003-018X)

· Ahyoung Sung, Jina Jang, Byoungju Choi, "Test Case Selection for RTOS Inter-Task Communication based on OS API and HW Interfaces",  ANS:Nuclear Technology'2006, pp113~114,   Albuquerque, New Mexico USA, Nov 2006(→ Transactions of the American Nuclear Society Vol95    No1 ISSN:0003-018X)

· Ahyoung Sung, Jina Jang and Byoungju Choi, "Fault-Based Interface Testing Between Real-Time Operating System and Application", Mutation2006 of 17th IEEE ISSRE, pp31-38, North    Carolina,USA, Nov 2006

· Ahyoung Sung, Byoungju Choi, Hanseong Son "HW-SW Interface Test for Safety Critical Embedded System",16th IEEE  ISSRE, no4 pp39-40, Chicago, Nov 8-11, 2005

· Ahyoung Sung, Hyunmi Choi, Byoungju Choi, Seokkyoo Shin, Hanseong Son, "Checklist forEmbedded Software Component Test in I&C System", ISOFIC (International Symposium on the    Future I&C for NPPs), pp277-281, Nov 2005

· Ahyoung Sung, Byoungju Choi, Jangsoo Lee,"Test Process for The Safety-Critical Embedded Software", NATHOS,  pp.238, Nara, Japan, Oct 2004

· Ahyoung Sung, Byoungju Choi, "HW/SW Interaction Testing for Digitalized Nuclear I&C System",    ANS:Nuclear Technology'2004, pp213~214, Pennsylvania, USA, Jun 2004 (→Transactions of the American Nuclear Society Vol90, ISSN:0003-018X)

· Ahyoung Sung, Byoungju Choi, Jangsu Lee, "   Interaction Mutation Testing", 14th IEEE International Symposium on Software Reliability Engineering(ISSRE'2003), pp301-302, Denver,   USA, Nov 2003

· Ahyoung Sung, Byoungju Choi, "Software Testing Techniques for Safety-Critical Embedded Software", ANS:Nuclear Technology'2003, pp197~198, New Orleans USA, Nov 2003

· Nayoung Lee, JinHyun Kim, Ahyoung Sung, Byoungju Choi, Jinyoung Choi, Jangsu Lee, "Verfication and Testing of the RTOS for Safety-Critical Embedded System", ANS:Nuclear    Technology'2003, pp201~202, New Orleans USA, Nov 2003

· Jieun Lee, SungHee Lee, Byoungju Choi, " A CC-based Security Engineering Process Evaluation Model", 27th Annual International Computer Software and Applications Conference    (COMPSAC'2003), pp130-135, Dallas USA, Nov 2003

· Ahyoung sung, Byoungju Choi, "Interaction Testing in an Embedded System using HardwareFault Injection and Program Mutation",International Workshop on Formal Approaches to Testing of Software(FATES'2003) of the 18th IEEE ASE, pp18-25, Quebec, Canada, Oct 2003.(→ LNCS Journal)

· Byounghee Lee, Hoijin Yoon, Eunhee Kim, Byoungju Choi, "A Customizastion Technique    Designed for Chamois Component System", Proc. of the International Conference on Software    Engineering Research & Applications(SERA'03), ACIS press ISBN:0-9700776-6-1, pp82-87, San    Francisco, Jun 2003

· Ahyong Sung, Byoungju Choi, "An Interaction Testing Technique between Hardware and Software in Embedded System", 9th Asia Pacific    Software Engineering Conference(APSEC    2002:Australia), IEEE press, pp457-464, Los Alamitos Calif., Dec 2002

· Seon-Ah Lee, Byoungju Choi, "Transition Management of Software Process Improvement", 4th International Conference on Product Focused Software Process Improvement, Finland, Dec 2002  (→ LNCS Journal)

· Ahyong Sung, Byoungju Choi, "A Preliminary approach for the V&V Process Improvement using the CMMI",    International Symposium on    the future I&C for Nuclear Power Plant ISOFIC2002, pp75-79, 2002.11

· Yoonjung Lee, EnJung Chun, Byoungju Choi , "A Menu-based Test Generation Technique for Software Quality Certification", Proc. the 8th ISSAT Int. Conference on Reliability and Quality in Design(ISSAT 2002), pp191-195, California, USA, Aug 2002

· Hoijin Yoon, Byoungju Choi , "Effective Testing Technique for the Component Composition in EJB", Proc. the 8th Asia Pacific Software Engineering Conference (APSEC 2001:China), IEEE press,    pp.229-236, Los Alamitos California USA, Dec 2001

· Byoungju Choi, Sunhwa Yeum, Taehee Gwak and Byungkyu Min, "An Auto-Generating Tool for the MPEG-2 formatted Test data: ATEP", Proc. the 12th International Symposium on Software    Reliability Engineering (ISSRE 2001: HongKong), IEEE press, Los Alamitos, California USA, pp192-199, Dec 2001

· J. Seo, Y. Lee, Byoungju Choi, S. Lee, " A scheme on Software Process Component Reuse using Product Line Practice", Proc. the 2nd International Conference on Software Engineering, Artificial Intelligence, Networking&Parallel/Distributed Computing (SNPE'2001: Japan), IACIS (ISBN:0-   9700776-1-0), pp.809-816, Pleasant MI, Aug 2001

· Hoijin Yoon, Byoungju Choi, "Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria", Proc of the Mutation Testing for the New Century (Mutation 2000: San Jose), Kluwer Academic Publishers, pp.71-78, Massachusetts, 2001

· Jooyoung Seo, Byoungju Choi, "Tailoring Test Process by using Component-Based Development Paradigm and the XML technology", Proc. the 7th Asia Pacific Software Engineering Conference    (APSEC 2000: Singapore), IEEE press, pp.200-210, Los Alamitos, California USA, Dec 2000

· Seon-ah Lee, Sookyung Kim, Byoungju Choi, "Developer's View on the Software Quality Model based on the ISO/IEC9126", the World Congress for Software Quality(WCSQ 2000), pp.719-724, Japan, Sep 2000

· Jeongeun Choi, Byoungju Choi , "Test Agent System with the Property of Agent: TAS", Proc. the    22nd International Conference on Software Engineering (ICSE) Workshop on WISE, Ireland, IEEE    press, pp.100-109, Los Alamitos, California USA, Jun 2000

· Hoijin Woon, Byoungju Choi, "Inter-class Test Technique between Black-   box-class and White-box-class for Component Customization Failures ", Proc. the 6th Asia Pacific Software Engineering    Conference, (APSEC 1999: Japan), IEEE press, pp.162-165, Los Alamitos, California USA, pp.162-   165, Dec 1999

· Byoungju Choi, Hoijin Yoon, Jin-Ok Jeon, "UML-based Test Model for Component IntegrationTest", Workshop on Software Architecture and Component, pp.63-70,   Japan, Dec 1999

· Byoungju Choi, Jeongeun Choi, "Test Agent System Design", Proc. the 6th IEEE International Fuzzy Systems Conference (IEEE-FUZZ 1999), IEEE Press, pp.326-331, Los Alamitos, California USA, Aug 1999

· Byoungju Choi, Hoijin Yoon, Jin-Ok Jeon, "Mutation based Inter-Class Testing", the 5th Asia    Pacific Software Engineering Conference, (APSEC1998: Taiwan), IEEE press Los Alamitos, California USA, Dec 1998

· Ho-Won Jung, Byoungju Choi, "Software Quality Metrics Applicable to ISO 9000-3", Proc. the    4th International Conference on Software Quality(ICSQ '97),   pp.89-96, Slovenia, Nov 1997

· Byoungju Choi, Mina Rho, "Test Process in the Object-oriented Software Development Life Cycle    bases on the Test Standards", Asia-Pacific Workshop on Software Process Improvement, pp.17-   32, ong Kong, Dec 1997

1997

· Byoungju Choi, Mina Rho, "Test Process in the Object-oriented Software Development Life Cycle

bases on the Test Standards", Asia-Pacific Workshop on Software Process Improvement,

pp.17-32, Hong Kong, Dec 1997