저자: Sooyong Jeong, Sungdeok Cha, Woo Jin Lee
게재/발표: IEICE Transactions on Information and Systems(ISSN:1745-1361), VOL.E104-D, NO.11, pp. 2011-2014, 2021.11.
분야: Log-based Testing, Embedded Software, Dependency Analysis
사용 로그를 기반으로 임베디드 소프트웨어를 테스트하고 환경 구성요소 간의 의존성을 식별하는 방법을 제안합니다.
저자: Sooyong Jeong, Ajay Kumar Jha, Youngsul Shin, Woo Jin Lee
게재/발표: IEICE Transactions on Information and Systems(ISSN:1745-1361), VOL.E103-D, NO.1, pp. 170-173, 2020.1.
분야: Log-based Testing, Embedded Software, Fault Detection
환경에 대한 잘못된 가정으로 인해 발생하는 결함을 탐지하기 위해 로그 기반 테스팅 접근법을 제안합니다. 실행 로그를 분석하여 환경 구성요소의 의존성을 파악하고 테스트에 활용합니다.
저자: Ajay Kumar Jha, Sunghee Lee, Woo Jin Lee
게재/발표: Journal of Systems and Software(ISSN:0164-1212), 156C, pp. 164-180, 2019
분야: Android, Configuration Management, Empirical Study
Android 앱에서 발생하는 설정 변경과 그 채택 패턴을 실증적으로 연구합니다. 매니페스트 설정 오류 및 변경 이력 분석을 통해 개발자들의 설정 관리 실태를 파악합니다.
저자: Ajay Kumar Jha, Woo Jin Lee
게재/발표: Journal of Systems and Software(ISSN:0164-1212), 137C, pp. 550-562, 2018
분야: Android Security, Empirical Study, Collaborative Model
Android의 협력 모델(컴포넌트 간 통신 및 권한 공유)과 이로 인한 보안 위험을 실증적으로 분석합니다. 앱 간 협력 구조가 초래할 수 있는 보안 취약점을 체계적으로 파악합니다.
저자: Ajay Kumar Jha, Woo Jin Lee
게재/발표: Journal of Universal Computer Science(ISSN:SCIE, 0948-695x), Vol. 22, No. 4, pp. 459-474, Apr. 2016
분야: Android Security, Permission Model, Empirical Study
Android 권한 기반 보안 모델을 정책 전문가, 개발자, 최종 사용자 세 가지 관점에서 분석합니다. 각 주체별 보안 인식과 실제 권한 사용 패턴의 차이를 실증적으로 연구합니다.
저자: Sunghee Lee, Heungjun Park, Woo Jin Lee
게재/발표: International Journal of Future Computer and Communication(ISSN:2010-3751), Vol. 4, No. 4, pp. 258-261, Aug. 2015
분야: Embedded Systems, Simulation, Distributed Systems
ZeroMQ 메시지 큐를 활용하여 분산 환경에서 코드 컴포넌트와 모델 컴포넌트가 협력하여 시뮬레이션을 수행할 수 있는 프레임워크를 설계합니다.
저자: Hodong Ryu, Sooyong Jeong, Woo Jin Lee
게재/발표: Lecture Notes in Electrical Engineering(ISSN:1876-1100), Vol. 330, pp. 899-905, 2015
분야: AUTOSAR, Embedded Systems, Virtual Prototyping
OSEK 운영체제를 수정하여 가상 프로토타이핑 환경을 구성하고, 이를 통해 AUTOSAR 소프트웨어 컴포넌트를 테스트하는 방법을 제안합니다.
저자: Soo Young Jang, Jihun Kim, Woo Jin Lee
게재/발표: Lecture Notes in Electrical Engineering(ISSN:1876-1100), Vol. 280, No. 1, pp. 557-565, 2014
분야: Embedded Systems, Virtual Prototyping, Simulation
SWF(Shockwave Flash)를 기반으로 유비쿼터스 시스템의 하드웨어 컴포넌트를 가상으로 프로토타이핑하는 프레임워크를 개발합니다.
저자: Sooyong Jeong, Sunghee Lee, Woo Jin Lee
게재/발표: Lecture Notes in Electrical Engineering(ISSN:1876-1100), Vol. 280, No. 1, pp. 587-594, 2014
분야: Embedded Systems, Simulation, Verification
유비쿼터스 임베디드 소프트웨어를 PC 환경에서 검증할 수 있도록 코드 시뮬레이터를 개발합니다. 실제 하드웨어 없이도 임베디드 코드의 동작을 검증할 수 있게 합니다.
저자: Youngsul Shin, Woo Jin Lee
게재/발표: Computers in Biology and Medicine(SCI, ISSN:0010-4825, Elsevier), Vol. 43, Issue 5, pp. 434-443, June 2013
분야: Test Case Reuse, Integration Testing, Medical Software
고신뢰도 의료 소프트웨어를 위해 대표 단위 테스트 케이스를 재사용한 통합 테스팅 기법을 제안합니다. 선별된 단위 테스트를 조합하여 함수 간 통합 테스트를 효율적으로 수행합니다.
저자: Lin Cui, Jingji Jin, Xin Cui, Woo Jin Lee, Zhaocheng Xuan
게재/발표: Wireless Personal Communications(SCIE, ISSN:0929-6212), Vol. 63, No. 3, pp. 843-859, Feb. 2013
분야: Wireless Communications, Network Protocol, 4G
4세대 무선 통신 환경에서 IP 네트워크 상의 손 상 인식 전송 프로토콜을 지원하기 위한 적응형 부분 FCS 기법을 제안합니다.
저자: Youngsul Shin, Woo Jin Lee
게재/발표: IEICE Transactions on Information and Systems(SCIE, ISSN:0916-8532), Vol. E95-D, No. 9, pp. 2232-2234, Sept. 2012
분야: Test Case Reuse, Integration Testing, Embedded Software
기존 단위 테스트 케이스를 재사용하여 함수 간 상호작용을 테스트하는 기법을 제안합니다. 테스트 케이스 특성화(characterization)를 통해 대표 케이스를 선별하고 이를 통합 테스트에 활용합니다.
저자: Lin Cui, Xin Cui, Woo Jin Lee
게재/발표: Wireless Personal Communications(SCIE, ISSN:0929-6212), Vol. 61, No. 2, pp. 383-402, Nov. 2011
분야: Network Protocol, TCP, Wireless Communications
오류가 빈번한 링크 환경에서 TCP 성능을 향상시키기 위한 세그먼트 기반 SACK(Selective Acknowledgment) 기법을 제안합니다.
저자: Lin Cui, Seok Joo Koh, Woo Jin Lee
게재/발표: IEEE Communications Letters(SCI, ISSN:1089-7798), Vol. 14, No. 6, pp. 587-589, June 2010.
분야: Network Protocol, SCTP, Wireless Communications
다중 홈 SCTP 호스트 환경에서 처리량을 향상시키기 위한 빠른 선택적 ACK 기법을 제안합니다.
저자: Heung Seok Chae, Jian Feng Cui, Jin Wook Park, Jae Geol Park, Woo Jin Lee
게재/발표: Journal of Information Science and Engineering(SCIE, ISSN:1016-2364), Vol. 25, No. 4, pp. 1021-1039, July 2009.
분야: Distributed Systems, Object-Oriented, Framework
분산 애플리케이션 개발을 위한 유연한 가용성 관리를 지원하는 객체지향 프레임워크 접근법을 제안합니다.
저자: Ho Kyoung Lee, Woo Jin Lee, Heung Seok Chae, Yong Rae Kwon
게재/발표: Real-Time Systems (ISSN :0922-6443) , Vol. 36, pp. 135-158, July 2007.
분야: Real-Time Systems, Timing Constraints, Component-Based Design
컴포넌트 기반 개발(CBD) 접근법에서 실시간 시스템의 타이밍 요구사항을 명세하고 분석하는 방법을 제안합니다.
저자: Woo Jin Lee, Ho Jun Kim, Heung Seok Chae
게재/발표: SEUS(Software Technologies for Embedded and Ubiquitous Systems) 2007, Lecture Notes in Computer Science #4761(ISSN :0302-9743), Vol. 4761, pp. 114-124, May 2007.
분야: Formal Methods, LTS, Embedded Systems, Safety Analysis
LTS(Labeled Transition System)를 활용하여 협력하는 임베디드 시스템의 안전성 속성을 분석하는 기법을 제안합니다. 컴포지셔널 검증을 통해 시스템 전체의 안전성을 효율적으로 확인합니다.
저자: Woo Jin Lee, Ho Kyoung Lee
게재/발표: WSEAS Transactions on Computers (ISSN : 1109-2750), Vol. 6, No. 5, pp. 741-748, May 2007.
분야: Real-Time Systems, Petri Net, Timing Constraints, Embedded Systems
모듈형 TER-net(Timed Extended Regular net)을 사용하여 실시간 임베디드 시스템의 타이밍 제약을 합성하고 분석하는 기법을 제안합니다.
저자: Woo Jin Lee
게재/발표: Proceedings on computer and Information Sciences-ISCIS 2003(LNCS #2869), pp. 1043-1050, Nov. 2003.
분야: Service-Oriented Software, UML, Modeling
서비스 지향 소프트웨어에서 서비스 간 상호작용을 모델링하고 분석하는 기법을 제안합니다.
저자: Woo Jin Lee, Oh Cheon Kwon, Min Jung Kim, Gyu Sang Shin
게재/발표: ETRI Journal, Vol. 25, No. 2, pp. 121-132, April 2003.
분야: Component Identification, UML, Object-Oriented
객체 사용 정보를 바탕으로 도메인 컴포넌트를 식별하는 방법과 도구를 제안합니다. 객체 간 상호작용 패턴 분석을 통해 재사용 가능한 컴포넌트를 자동으로 추출합니다.
저자: Woo Jin Lee, S.D. Cha, H.N. Kim, Y.R. Kwon
게재/발표: Journal of Research and Practice in Information Technology, Vol. 32, No. 2, pp. 131-143, May 2000.
분야: Formal Methods, Petri Net, Program Analysis
Petri Net 도달 가능성 분석의 효율을 높이기 위해 슬라이싱(slicing) 기법을 접목한 접근법을 제안합니다. 불필요한 상태 탐색을 줄여 분석 복잡도를 감소시킵니다.
저자: Woo Jin Lee, S.D. Cha, Y.R. Kwon
게재/발표: IEEE Transactions on Software Engineering, Vol. 24, No. 12, pp. 1115-1130, December 1998.
분야: Formal Methods, Petri Net, UML, Requirements Engineering
요구사항 공학에서 유스케이스를 모듈형 Petri Net으로 통합하고 분석하는 기법을 제안합니다. 유스케이스 간 상호작용을 형식적으로 모델링하여 요구사항의 일관성을 검증합니다.