소프트웨어공학연구실

2018. 03    ㅣ    2018년도 3월 현재 소프트웨어공학 연구실 소개

2017. 08    ㅣ    김희진 박사(2017.2), '2017 4차산업혁명 파워코리아 대전'에서 농림축산식품부 장관상 수상 축하!

2016. 12    ㅣ    김희진 박사학위 취득 (2017년2월) 축하.

                        유라이크코리아(김희진 대표), IoT 가축헬스케어로 스타트업월드컵 우승, 한국대표로 3월 결선 진출 축하

2015. 07    ㅣ    현대자동차그룹 글로벌 경영 세미나, 옌청/북경, 중국, 2015.7.9-14,

                         중국(DKY 기아 중국 생산법인(옌청), MBJ 모비스베이징, BHMC 베이징현대), 현대자동차 NGV 산학협력단 교수로써 최병주 교수 참가.

2015. 03    ㅣ    2015년도 3월 현재 소프트웨어공학 연구실 소개

2013.09     ㅣ    도현숙 교수 2013년 9월 1일 부터 2014년 6월 30일까지 이화여대 컴퓨터공학과 초빙교수

                         소프트웨어공학연구실에서 최병주 교수와 공동연구

2013.08     ㅣ    SE lab 1호 졸업생 노미나 한양대학교 소프트웨어학과 교수 부임 축하!

2013.01     ㅣ    논문 A Family of Code Coverage-based Heuristics for Effective Fault Localization이 JSS 논문 가운데 2010년 이래 가장 인용이 많이 된 논문으로 선정됨.

2012.11     ㅣ    현대기아자동차 전자개발센터 SW검증기술개발 협력 연구실로 지정됨.

                         2012년 11월 6일 현대기아차 남양연구소에서 개최한 조인식에서 김상기 전자개발센터장께서 이화여대 최병주 교수에게 협력연구실 명패 전달과 추진계획 발표.

2012.09     ㅣ    이화여대와 현대기아차가 슈어소프트테크(주)에 AMOS 임베디드 소프트웨어 동적 테스트 자동화 버전3 (프로세스간 통신 결함) 기술이전계약 체결.

2011. 10    ㅣ    이화여대와 현대기아차가 슈어소프트테크(주)에 AMOS 임베디드 소프트웨어 동적 테스트 자동화 버전1 (메모리 결함)과 버전2(성능결함: CPU, 메모리)기술이전계약 체결.

2010.09     ㅣ    서주영 박사(2009.2 졸업, SE전공) 아주대학교 정보컴퓨터공학과 교수 부임

2010.09     ㅣ    이화여대와 현대기아차 (주)링크제니시스 AMOS 기술이전계약 체결

2009.09     ㅣ    2009. 8. 24~25 제주 'QSIC 2009 (Program Chair : Byoungju Choi)'

2009.02     ㅣ    서주영 (SE 전공, "Embedded software Interface test based on the status of sSystem") 박사졸업.

2007.09     ㅣ    이화여대-삼성전자 산학과제 : 삼성전자 전사 SW 혁신 우수사례 장려상 수상

2007.09     ㅣ    윤회진 박사(2004.2졸업, SE 전공) 협성대학교 컴퓨터공학과 전임강사 부임

2007.08     ㅣ    성아영 (SE 전공) 박사졸업. 

                         미국 Nebraska대 Computer Science Engineering 학과 포스트닥 (2007.08)~

2006.10     ㅣ    SE 연구실 2006년도 수행과제 지원 연구원으로서 석사 및 박사과정 신입생을 모집합니다.

2006.06     ㅣ    2006 . 6. 23 용평 KCC '2006 소프트웨어공학연구회'

2005.11     ㅣ    "2006 한국 소프트웨어공학 학술대회(KCSE 2006)" 가 용평에서 개최됩니다.(2006/02/16~2/18)

                          -KCSE2006 CFP 홈페이지 참고-

2004.09     ㅣ   김은희(석사 2004.2졸, 삼성전자 소프트웨어센터) 2004. 9.21 Austria 국제학술대회논문발표

                      Hoijin Yoon, Eunhee Kim, Jooyong Seo, Byoungju Choi, "Testing COM Components Using Software 

                        Fault Injection and Mutation Analysis, and its Empirical Study" International Workshop on Formal

                        Approaches to Testing of Software(FATES'2004) of the 19th IEEE ASE, Austria, 2004.9

2004.09    ㅣ   성아영(박사과정) 2004.10.4-8 Japan 국제학술대회논문발표

                      Ahyoung Sung, Jangsoo Lee, "TEST PROCESS FOR THE SAFETY - CRITICAL EMBEDDED SOFTWARE", 6th NATHOS, Nara, Japan, 2004.10

2004.01    ㅣ    T. Gwak and Byoungju Choi, "A Method of Automated MPEG2-TS Test Stream Generation for

                        Digital TV Software Test", the Computer Standards & Interface, journal, Vo. 26 No. 3, pp.205-219 May 2004. [SCI]

2003.12    ㅣ    최병주 교수 Visiting Professor (2003), Dept. of Computer Science, Purdue Univ 진학 상담을 원하시면 E-mail (bjchoi@ewha.ac.kr) 주세요

2003. 11   ㅣ   Ahyoung Sung, Byoungju Choi, Jangsu Lee," Interaction Mutation Testing," 14th IEEE International
                        Symposium on Software Reliability Engineering(ISSRE'2003), Denver, USA, Nov.2003, Accepted.

2003. 11    ㅣ   Ahyoung Sung, Byoungju Choi, " Software Testing Techniques for Safety-Critical Embedded Software" ANS :Nuclear Technology'2003, 

                        New Orleans USA, Nov.2003, Accepted.

2003. 11    ㅣ    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, New Orleans USA, Nov.2003, Accepted.

2003. 11    ㅣ   Jieun Lee, SungHee Lee, Byoungju Choi, " A CC-based Security Engineering Process Evaluation Model," 

                        27th Annual International Computer Software and Applications Conference ('2003)

                        Dallas USA,Nov.2003, Accepted.

2003. 10    ㅣ   Ahyoung sung, Byoungju Choi, " Interaction Testing in an Embedded System using Hardware Fault Injection and Program Mutation," 

                        International Workshop on Formal Approaches to Testing of Software ( FATES'2003) of the 18th IEEE ASE, Quebec, Canada, Oct.2003, Accepted.

2003. 09    ㅣ   과학 재단 지원 (멘토링 인턴쉽 지원) 과제인턴쉽에 관한 상담을 원하시면 E-mail (bjchoi@ewha.ac.kr) 주세요

2003. 06    ㅣ   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), San Francisco, ACIS press ISBN:0-9700776-6-1, Jun.2003, Accepted.

2002. 12    ㅣ   Ahyoung Sung, Byoungju Choi, "An Interaction Testing Technique between Hardware and Software in Embedded System," 

                        9th Asia Pacific Software Engineering Conference (APSEC 2002), Australia,Dec.2002, Accepted.

2002. 12    ㅣ   Seon-Ah Lee, Byoungju Choi, "Transition Management of Software Process Improvement," 

                        4th International Conference on Product Focused Software Process Improvement,

                        Finland, Dec. 2002, Accepted.

2002. 11    ㅣ  Ahyoung 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,Nov. 2002, Accepted.

2002. 10    ㅣ   최병주 교수님 가헌학술상 수상

2002. 08    ㅣ   Yoonjung Lee, Enjung Chun, Byoungju Choi, "A Menu-based Test Generation Technique for Software Quality Certification," the 8th ISSATInt. 

                        Conference on Reliability and Quality in Design (ISSAT 2002), California, USA, Aug. 2002, Accepted.

2002. 05    ㅣ  Jongsook Lee, Byoungju Choi, "3rd International Common Criteria Conference (ICCC)" ICCC2002, Ottawa, Canada, May.2002.

2001. 12    ㅣ   Hoijin Yoon, Byoungju Choi, "Effective Testing Technique for the Component Composition in EJB," APSEC2001, Macau SAR. China, Dec.2001.

2001. 12    ㅣ   Sunhwa Yeum, Taehee Gwak, Byoungju Choi, Taisik Kim "An Auto-Generating Tool for the MPEG-2 formatted Test data : ATEP," the 12th ISSRE, Hongkong Nov.2001.

2001.08     ㅣ   Yoonjung Lee, Byoungju Choi, "A Scheme on Software Process Component Reuse using Product Line Practice",
                        International conference on Software Engineering, Artificial Intelligence, Networking and Parallel Distributed Computing, nagoya, Japan.

2001. 06    ㅣ   Telcordia의 Dr. W.Eric Wong과 "Efficient Test data Generatio for Software Package Using ATEG" 에 관한 국제 공동 연구