저자: Aaron Agyapong Danso, Ulrich Büker
게재/발표: Electronics(ISSN:2079-9292), Vol. 14, No. 16, 3177, MDPI, 2025년 8월 (Editor's Choice)
분야: Large Language Models, Autonomous Vehicles, Simulation Testing, CARLA

자율주행차 안전성 검증을 위한 Operational Design Domain(ODD) 기반 시뮬레이션 시나리오 자동 생성 연구입니다. 대규모 언어모델(LLM)과 Tree of Thoughts, Red teaming 기법을 활용하여 텍스트 기반 ODD 설명을 CARLA 시뮬레이터에서 실행 가능한 ScenarioRunner 스크립트로 자동 변환하는 파이프라인을 제안합니다. 파이프라인 적용 시 시나리오 정확도 66.7% 향상, 디버깅 시간 70% 단축을 달성했으나, 동적 요소(보행자/차량 행동) 처리에는 여전히 한계가 있습니다.

논문 보기 →

저자: Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wąsowski, Swaib Dragule
게재/발표: IEEE Transactions on Software Engineering(ISSN:0098-5589), Vol. 49, No. 9, pp. 4243-4268, IEEE, 2023년 9월
분야: Behavior Trees, State Machines, Robotics, Domain-Specific Languages, Empirical Study

자율 로봇의 미션(mission) 모델링을 위한 행동 트리(Behavior Trees)와 상태 머신(State Machines)의 실제 사용 현황을 체계적으로 비교 분석한 대규모 실증 연구입니다. GitHub에서 마이닝한 150개 모델(43개 프로젝트)을 분석하여 5개 DSL의 언어 개념, 구현 설계, 사용 패턴을 소프트웨어 언어 엔지니어링 관점에서 조사했습니다. 2018년 이후 행동 트리가 급성장(약 10배)했으며, GUI 기반 도구가 언어 구조 활용도에 큰 영향을 미치고, 3가지 코드 재사용 패턴을 발견했습니다.

논문 보기 →

저자: 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)을 사용하여 실시간 임베디드 시스템의 타이밍 제약을 합성하고 분석하는 기법을 제안합니다.

Google Scholar →

저자: 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) 기법을 접목한 접근법을 제안합니다. 불필요한 상태 탐색을 줄여 분석 복잡도를 감소시킵니다.

Google Scholar →

저자: 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으로 통합하고 분석하는 기법을 제안합니다. 유스케이스 간 상호작용을 형식적으로 모델링하여 요구사항의 일관성을 검증합니다.

논문 보기 →