본문으로 건너뛰기

Function Execution Log Based Judgment System for Arduino Learning Practice

· 약 1분
Kangbok Seo
이우진
담당교수

저자: Kangbok Seo, Woo Jin Lee
게재/발표: In International Conference on Intelligent Tutoring Systems, Springer, Bucharest, Romania, June. 29-1, pp. 17-23. 2022
분야: Log-based Testing, Arduino, Education

함수 실행 로그를 기반으로 Arduino 학습 실습의 채점을 자동화하는 판정 시스템을 제안합니다.

논문 보기 →

A framework for testing Android apps by reusing test cases

· 약 1분
Ajay Kumar Jha
Deok Yeop Kim
이우진
담당교수

저자: Ajay Kumar Jha, Deok Yeop Kim, Woo Jin Lee
게재/발표: In Proceedings of the 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft), Vision Track, Montreal, Canada, May. 25-26, pp. 20-24, 2019
분야: Android Testing, Test Case Reuse, Mobile Software

기존 테스트 케이스를 재사용하여 Android 앱을 효율적으로 테스트하는 프레임워크를 제안합니다.

논문 보기 →

Characterizing Android-specific crash bugs

· 약 1분
Ajay Kumar Jha
Sunghee Lee
이우진
담당교수

저자: Ajay Kumar Jha, Sunghee Lee, Woo Jin Lee
게재/발표: In Proceedings of the 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft), IEEE Press, Montreal, Canada, May. 25-26, pp. 111-122, 2019
분야: Android Testing, Crash Bugs, Empirical Study

Android 플랫폼 특유의 크래시 버그를 유형별로 분류하고 특성을 분석합니다. 실증 연구를 통해 Android 크래시 버그의 근본 원인과 패턴을 파악합니다.

논문 보기 →

Controller’s Behaviors Logging System of Therapeutic Contents for Collecting User Actions

· 약 1분
Sunghee Lee
Deok Yeop Kim
이우진
담당교수

저자: Sunghee Lee, Deok Yeop Kim, Woo Jin Lee
게재/발표: Proceedings on the 2nd International Conference on Culture Technology(ISSN:2508-6561), Tokyo, Japan, Dec. 8-10, pp. 238-241, 2017
분야: Log-based Testing, User Behavior, Healthcare

치료용 콘텐츠에서 컨트롤러 행동을 기록하는 시스템을 설계합니다. 사용자 동작 데이터를 수집하여 콘텐츠 품질 향상에 활용합니다.

An Automated Testing Method for AUTOSAR Software Components Based on SiL Simulation

· 약 1분
Sooyong Jeong
이우진
담당교수

저자: Sooyong Jeong, Woo Jin Lee
게재/발표: 2017 Ninth International Conference on Ubiquitous and Future Networks(ICUFN 2017), Milan, Italy, Jul. 4-7, 2017
분야: AUTOSAR, Embedded Systems, SiL Simulation, Automated Testing

SiL(Software-in-the-Loop) 시뮬레이션을 기반으로 AUTOSAR 소프트웨어 컴포넌트를 자동으로 테스트하는 방법을 제안합니다.

논문 보기 →

Developer mistakes in writing Android manifests. An empirical study of configuration errors

· 약 1분
Ajay Kumar Jha
Sunghee Lee
이우진
담당교수

저자: Ajay Kumar Jha, Sunghee Lee, Woo Jin Lee
게재/발표: Proceedings on the 14th International Conference on Mining Software Repositories, IEEE Press, pp. 25-36, 2017
분야: Android, Configuration Management, Empirical Study

Android 매니페스트 작성 시 개발자들이 범하는 설정 오류를 실증적으로 연구합니다. 마이닝 소프트웨어 저장소 기법을 활용하여 일반적인 설정 실수 패턴을 분류합니다.

논문 보기 →

Relative Time Synchronization of Distributed Applications for Software-in-the-loop Simulation

· 약 1분
Sunghee Lee
Bueng Il Hwang
Kang-Bok Seo
이우진
담당교수

저자: Sunghee Lee, Bueng Il Hwang, Kang-Bok Seo, Woo Jin Lee
게재/발표: 2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Paris, France, Aug. 24-26, 2016
분야: SiL Simulation, Distributed Systems, Embedded Systems

SiL(Software-in-the-Loop) 시뮬레이션을 위해 분산 애플리케이션의 상대적 시간 동기화 기법을 제안합니다.

논문 보기 →

Software-in-the-Loop Simulation for Early-Stage Testing of AUTOSAR Software Component

· 약 1분
Sooyong Jeong
Yongsub Kwak
이우진
담당교수

저자: Sooyong Jeong, Yongsub Kwak, Woo Jin Lee
게재/발표: 2016 International Conference on Ubiquitous and Future Networks(ICUFN 2016), Vienna, Austria, Jul. 5-8, 2016
분야: AUTOSAR, SiL Simulation, Embedded Systems

AUTOSAR 소프트웨어 컴포넌트의 초기 단계 테스팅을 위해 SiL(Software-in-the-Loop) 시뮬레이션을 활용하는 방법을 제안합니다.

논문 보기 →

Design of Concurrency-guaranteed Code Simulator for Embedded System

· 약 1분
Sunghee Lee
Tae-San Baek
이우진
담당교수

저자: Sunghee Lee, Tae-San Baek, Woo Jin Lee
게재/발표: The 2016 Global Workshop on Information Technology, Computing, and Applications, Hawaii, USA, Jan 12-14, 2016
분야: Embedded Systems, Simulation, Concurrency

임베디드 시스템에서 동시성(concurrency)을 보장하는 코드 시뮬레이터의 설계를 제안합니다.

Google Scholar →

Permission-based Security in Android Application – From-Policy Expert to End User

· 약 1분
Ajay Kumar Jha
Seungmin Lee
이우진
담당교수

저자: Ajay Kumar Jha, Seungmin Lee, Woo Jin Lee
게재/발표: 2015 Research in Adaptive and Convergent Systems (RACS 2015), Prague, Czech Republic, Oct. 9-12, 2015
분야: Android Security, Permission Model

Android 앱의 권한 기반 보안을 정책 전문가부터 최종 사용자까지 다양한 관점에서 분석합니다.

논문 보기 →

Modeling and Test Case Generation of Inter-Component Communication in Android

· 약 1분
Ajay Kumar Jha
Sunghee Lee
이우진
담당교수

저자: Ajay Kumar Jha, Sunghee Lee, Woo Jin Lee
게재/발표: 2015 2nd ACM International Conference On Mobile Software Engineering and Systems(MOBILESoft2015), Florence, Italy, May. 16-17, 2015
분야: Android Testing, Test Case Generation, Component Communication

Android에서 컴포넌트 간 통신(ICC)을 모델링하고 이를 기반으로 테스트 케이스를 자동 생성하는 기법을 제안합니다.

논문 보기 →

Design of ZeroMQ-based Cooperative Simulation Framework for Distributed Code and Model Components

· 약 1분
Sunghee Lee
Heungjun Park
이우진
담당교수

저자: Sunghee Lee, Heungjun Park, Woo Jin Lee
게재/발표: 2015 2nd International Conference on Mechanical, Electronics and Computer Engineering(CMECE2015), Zhuhai, China, Jan. 24-26, 2015
분야: Embedded Systems, Simulation, Distributed Systems

ZeroMQ 기반의 협력 시뮬레이션 프레임워크를 설계하여 분산된 코드 및 모델 컴포넌트 간 협업을 지원합니다.

Google Scholar →

Data flow based integration testing for embedded system using interaction model

· 약 1분
Hossain Muhammad Iqbal
이우진
담당교수

저자: Hossain Muhammad Iqbal, Woo Jin Lee
게재/발표: 2014 21st Asia-Pacific Software Engineering Conference (APSEC), Vol. 1, pp. 423-429, Jeju, Korea, Dec. 1-4, 2014
분야: Integration Testing, Embedded Systems, Data Flow

상호작용 모델을 활용한 데이터 흐름 기반의 임베디드 시스템 통합 테스팅 기법을 제안합니다.

논문 보기 →

Virtual Prototype Generation by Shockwave Flash for Simulating HW Components of Embedded System

· 약 1분
Soo Young Jang
Ajay Kumar Jha
이우진
담당교수

저자: Soo Young Jang, Ajay Kumar Jha, Woo Jin Lee
게재/발표: Proceedings of the 2014 Symposium on Applied Computing(SAC2014), pp. 1755-1756, Gyeongju, Korea, Mar. 24-28, 2014
분야: Embedded Systems, Virtual Prototyping, Simulation

Shockwave Flash를 활용하여 임베디드 시스템의 하드웨어 컴포넌트를 시뮬레이션하는 가상 프로토타입 생성 방법을 제안합니다.

논문 보기 →

Value-Deterministic Search-Based Replay for Android Multithread Applications

· 약 1분
Ajay Kumar Jha
Sooyoung Jeong
이우진
담당교수

저자: Ajay Kumar Jha, Sooyoung Jeong, Woo Jin Lee
게재/발표: Proceedings of the 2013 Research in Adaptive and Convergent System(RACS2013), pp. 114-116, Montreal, Canada, Oct. 1-4, 2013
분야: Android Testing, Concurrency, Replay, Multithread

Android 멀티스레드 애플리케이션에서 값 결정적 탐색(value-deterministic search) 기반 재생 기법을 제안합니다. 비결정적 동시성 버그의 재현을 위한 체계적 접근법을 제공합니다.

논문 보기 →

AUTOSAR Unit Testing Approach based onVirtual Prototyping for Software Components

· 약 1분
Hodong Ryu
Soo Young Jang
이우진
담당교수

저자: Hodong Ryu, Soo Young Jang, Woo Jin Lee
게재/발표: 2013 Fifth International Conference on Ubiquitous and Future Networks(ICUFN), pp. 114-116, Da Nang, Vietnam, Jul. 2-5, 2013
분야: AUTOSAR, Embedded Systems, Virtual Prototyping, Unit Testing

가상 프로토타이핑 환경을 기반으로 AUTOSAR 소프트웨어 컴포넌트에 대한 단위 테스트 접근법을 제안합니다.

논문 보기 →

Capture and Replay Technique for Reproducing Crash in Android Applications

· 약 1분
Ajay Kumar Jha
이우진
담당교수

저자: Ajay Kumar Jha, Woo Jin Lee
게재/발표: Proceedings of the IASTED International Conference Software Engineering (SE 2013), Innsbruck, Austria, Feb. 11-13, 2013
분야: Android Testing, Crash Reproduction, Capture and Replay

Android 애플리케이션에서 크래시를 재현하기 위한 캡처-재생(capture and replay) 기법을 제안합니다. 실제 실행 이벤트를 기록하고 재생하여 버그 재현을 용이하게 합니다.

논문 보기 →

Android GUI Software Testing Technique Based on Activity Life Cycle

· 약 1분
Tae-San Baek
이우진
담당교수

저자: Tae-San Baek, Woo Jin Lee
게재/발표: 2012 IIISC & ICCCS, Chiang Mai, Thailand, Dec. 20-23, 2012
분야: Android Testing, GUI Testing, Mobile Software

Android 액티비티 생명주기를 기반으로 GUI 소프트웨어를 체계적으로 테스트하는 기법을 제안합니다.

Google Scholar →

Function Interaction Testing Technique for Embedded Software by Reusing Unit Test Cases

· 약 1분
Youngsul Shin
Yunja Choi
이우진
담당교수

저자: Youngsul Shin, Yunja Choi, Woo Jin Lee
게재/발표: The Second International Conference on Computers, Networks, Systems, and Industrial Applications(CNSI 2012), Jeju Island, Korea, July 16-18, 2012
분야: Test Case Reuse, Integration Testing, Embedded Software

단위 테스트 케이스를 재사용하여 임베디드 소프트웨어의 함수 상호작용을 테스트하는 기법을 제안합니다.

Google Scholar →

Test Case Generation Considering Definition-Use of Global Variables for Integration Testing

· 약 1분
Muhammad Iqbal Hossain
이우진
담당교수

저자: Muhammad Iqbal Hossain, Woo Jin Lee
게재/발표: The Second International Conference on Computers, Networks, Systems, and Industrial Applications(CNSI 2012), Jeju Island, Korea, July 16-18, 2012
분야: Integration Testing, Test Case Generation, Data Flow

전역 변수의 정의-사용(definition-use) 관계를 고려하여 통합 테스팅용 테스트 케이스를 생성하는 기법을 제안합니다.

Google Scholar →

Test Case Generation for Integrating Medical Systems Considering Function Characteristics

· 약 1분
Youngsul Shin
Hossain Muhammad Iqbal
이우진
담당교수

저자: Youngsul Shin, Hossain Muhammad Iqbal, Woo Jin Lee
게재/발표: Proceeding of the 9th IASTED International Conference on Biomedical Engineering(BioMed 2012), Innsbruck, Austria, Feb. 15-17, 2012
분야: Integration Testing, Medical Software, Test Case Generation

함수 특성을 고려하여 의료 시스템 통합을 위한 테스트 케이스를 생성하는 기법을 제안합니다.

논문 보기 →

SIP-based IM and Its Security Solutions

· 약 1분
Xin Cui
Yuan Zhang
이우진
담당교수
Seok Joo Koh

저자: Xin Cui, Yuan Zhang, Woo Jin Lee, Seok Joo Koh
게재/발표: The 6th International Conference on Wireless Communications, Networking and Mobile Computing, Chengdu, China, Sept. 23-25, 2010
분야: Network Protocol, SIP, Security

SIP 기반 인스턴트 메시징 시스템과 그 보안 솔루션을 제안합니다.

논문 보기 →

An Adaptive Cross-Layer Strategy for 4G Wireless Communications

· 약 1분
Lin Cui
Xin Cui
이우진
담당교수
Qijia Zhang

저자: Lin Cui, Xin Cui, Woo Jin Lee, Qijia Zhang
게재/발표: ChinaCom’10, Beijing, China, Aug. 25-27, 2010.
분야: Wireless Communications, Network Protocol, 4G

4세대 무선 통신 환경에서 성능을 향상시키기 위한 적응형 교차 계층(cross-layer) 전략을 제안합니다.

논문 보기 →

A Design of Component-based Modeling and Verification Tools for Embedded and Real-time Systems

· 약 1분
이우진
담당교수
Youngsul Shin

저자: Woo Jin Lee, Youngsul Shin
게재/발표: 2nd International Joint Workshop on Embedded Software and System Engineering Design Challenges, Daegu, Korea, May 20-23, 2008.
분야: Embedded Systems, Real-Time Systems, Component-Based Design

임베디드 및 실시간 시스템을 위한 컴포넌트 기반 모델링 및 검증 도구의 설계를 제안합니다.

Google Scholar →

Supporting Web Service Concept using Agent-based Approach in Embedded systems

· 약 1분
Youngsul Shin
Hodong Ryu
Min Sik Yu
이우진
담당교수

저자: Youngsul Shin, Hodong Ryu, Min Sik Yu, Woo Jin Lee
게재/발표: 17th International Conference on Applications and Principles of Information Science, Auckland, New Zealand, Jan. 28, 2008.
분야: Embedded Systems, Web Services, Agent

에이전트 기반 접근법을 활용하여 임베디드 시스템에서 웹 서비스 개념을 지원하는 방법을 제안합니다.

Google Scholar →

Enhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence

· 약 1분
Hui Guo
Youngsul Shin
이우진
담당교수

저자: Hui Guo, Youngsul Shin, Woo Jin Lee
게재/발표: WSEAS Conference on Applied Computer Science, Hangzhou, China, April 15-17, 2007.
분야: Formal Methods, LTS, Embedded Systems, Safety Analysis

LTS 동치성(equivalence)을 활용하여 분산 임베디드 시스템의 컴포지셔널 안전성 분석을 강화하는 기법을 제안합니다.

Google Scholar →

Synthesis of Timing Scenarios for Embedded Systems using Modular Petri nets

· 약 1분
이우진
담당교수
Young Joon Park
Ho Kyoug Lee

저자: Woo Jin Lee, Young Joon Park, Ho Kyoug Lee
게재/발표: WSEAS International Conference on Computer Engineering and Applications, Gold Coast, Australia, pp. 158-163, Jan. 2007
분야: Real-Time Systems, Petri Net, Timing Constraints, Embedded Systems

모듈형 Petri Net을 사용하여 임베디드 시스템의 타이밍 시나리오를 합성하는 기법을 제안합니다.

Google Scholar →

An Implementation of the tool supporting design pattern and maintaining alteration of design model for EJB component design

· 약 1분
Y. J. Jeong
I. C. Yoon
M. J. Kim
이우진
담당교수
S. J. Yoon
Y. J. Choi
G. S. Shin

저자: Y. J. Jeong, I. C. Yoon, M. J. Kim, Woo Jin Lee, S. J. Yoon, Y. J. Choi, G. S. Shin,
게재/발표: Proceedings of the 2002 International Conference on Software Engineering Research and Practice (SERP'02), Lasvegas, USA, pp 131-137, Jun. 2002
분야: EJB, Component-Based Design, UML, Design Patterns

EJB 컴포넌트 설계를 위한 디자인 패턴 지원 및 설계 모델 변경 관리 도구의 구현을 제안합니다.

Google Scholar →

A Web Client Generator for Testing Interfaces of EJB Components

· 약 1분
Jihyun Lee
이우진
담당교수
Minjeong Kim
Gyu-Sang Shin

저자: Jihyun Lee, Woo Jin Lee, Minjeong Kim, Gyu-Sang Shin
게재/발표: IASTED Applied Informatics-AI'2002 , Innsbruck, Austria, pp. 159-163, Feb. 2002.
분야: EJB, Component Testing, Web

EJB 컴포넌트의 인터페이스를 테스트하기 위한 웹 클라이언트 자동 생성기를 제안합니다.

Google Scholar →

Development of COBALT (COmponent-Based AppLication development Tool) for Modeling and Constructing EJB based Components

· 약 1분
Minjeong Kim
이우진
담당교수
Gyu-Sang Shin

저자: Minjeong Kim, Woo Jin Lee, Gyu-Sang Shin
게재/발표: IASTED Applied Informatics-AI'2002 , Innsbruck, Austria, pp. 204-209, Feb. 2002.
분야: EJB, Component-Based Design, UML, Tool

EJB 기반 컴포넌트의 모델링 및 구성을 지원하는 컴포넌트 기반 애플리케이션 개발 도구(COBALT)를 개발합니다.

Google Scholar →

Modeling and Analyzing Requirements of Service-Oriented Communication Softwares Using Use Cases

· 약 1분
이우진
담당교수
Ho-Kyung Lee
Yong-Rae Kwon
Gyu-Sang Shin

저자: Woo Jin Lee, Ho-Kyung Lee, Yong-Rae Kwon, Gyu-Sang Shin
게재/발표: International Conference of Advanced Communication Technology 2001 (ICACT 2001), Muju, Korea, pp. 815-820, Feb. 2001.
분야: Service-Oriented Software, UML, Requirements Engineering

유스케이스를 활용하여 서비스 지향 통신 소프트웨어의 요구사항을 모델링하고 분석하는 방법을 제안합니다.

Google Scholar →

Inter-class Integration Testing using UML State Diagram

· 약 1분
이우진
담당교수
Chae-Deok Lim
Young-Gon Kim
Heung-Nam Kim

저자: Woo Jin Lee, Chae-Deok Lim, Young-Gon Kim, Heung-Nam Kim
게재/발표: IASTED Applied Informatics-AI'2000 , Innsbruck, Austria, Feb. 2000.
분야: Integration Testing, UML, Object-Oriented

UML 상태 다이어그램을 활용하여 클래스 간 통합 테스팅을 수행하는 기법을 제안합니다.

Google Scholar →

A Petri-Nets Based Approach for Detecting Feature Interactions in Telecommunications Services

· 약 1분
Jeong Hun Choi
Hyeon Soo Kim
이우진
담당교수
Yong Rae Kwon

저자: Jeong Hun Choi, Hyeon Soo Kim, Woo Jin Lee, Yong Rae Kwon
게재/발표: 12th International Conference on Computer Communication, Seoul, Korea, Aug. 1995.
분야: Formal Methods, Petri Net, Feature Interaction, Telecommunications

Petri Net을 활용하여 통신 서비스에서 기능 간 상호작용(feature interaction) 문제를 탐지하는 접근법을 제안합니다.

Google Scholar →

Analysis and Enactment of a Distributed Software Process Model: The AttNet Model

· 약 1분
이우진
담당교수
In Sang Chung
Yong Rae Kwon

저자: Woo Jin Lee, In Sang Chung, Yong Rae Kwon
게재/발표: 1st Asia-Pacific Software Engineering Conference, Tokyo, Japan, pp. 278-286, Dec. 1994.
분야: Software Process, Distributed Systems, Petri Net

분산 소프트웨어 프로세스 모델인 AttNet 모델을 분석하고 실행하는 방법을 제안합니다.

논문 보기 →

Modeling and Detecting Feature Interactions using Petri-Nets

· 약 1분
Hyeon Soo Kim
이우진
담당교수
Yong Rae Kwon
Jeong Hun Choi
Se Hyeong Cho

저자: Hyeon Soo Kim, Woo Jin Lee, Yong Rae Kwon, Jeong Hun Choi, Se Hyeong Cho
게재/발표: 3rd International Conference on Intelligence in Networks, Bordeaux, France, pp. 385-386, Oct. 1994.
분야: Formal Methods, Petri Net, Feature Interaction

Petri Net을 활용하여 기능 간 상호작용을 모델링하고 탐지하는 기법을 제안합니다.

Google Scholar →