Function Execution Log Based Judgment System for Arduino Learning Practice
저자: 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
저자: 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
저자: 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
저자: 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
저자: 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
저자: 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
저자: 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
저자: 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
저자: 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)을 보장하는 코드 시뮬레이터의 설계를 제안합니다.
Permission-based Security in Android Application – From-Policy Expert to End User
저자: 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
저자: 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
저자: 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 기반의 협력 시뮬레이션 프레임워크를 설계하여 분산된 코드 및 모델 컴포넌트 간 협업을 지원합니다.
Data flow based integration testing for embedded system using interaction model
저자: 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
저자: 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
저자: 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
저자: 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
저자: 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
저자: Tae-San Baek, Woo Jin Lee
게재/발표: 2012 IIISC & ICCCS, Chiang Mai, Thailand, Dec. 20-23, 2012
분야: Android Testing, GUI Testing, Mobile Software
Android 액티비티 생명주기를 기반으로 GUI 소프트웨어를 체계적으로 테스트하는 기법을 제안합니다.
Function Interaction Testing Technique for Embedded Software by Reusing Unit Test Cases
저자: 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
단위 테스트 케이스를 재사용하여 임베디드 소프트웨어의 함수 상호작용을 테스트하는 기법을 제안합니다.
Test Case Generation Considering Definition-Use of Global Variables for Integration Testing
저자: 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) 관계를 고려하여 통합 테스팅용 테스트 케이스를 생성하는 기법을 제안합니다.
Test Case Generation for Integrating Medical Systems Considering Function Characteristics
저자: 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
저자: 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
저자: 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
저자: 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
임베디드 및 실시간 시스템을 위한 컴포넌트 기반 모델링 및 검증 도구의 설계를 제안합니다.
Supporting Web Service Concept using Agent-based Approach in Embedded systems
저자: 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
에이전트 기반 접근법을 활용하여 임베디드 시스템에서 웹 서비스 개념을 지원하는 방법을 제안합니다.
Compositional Verification of Timing Constraints for Embedded Real-Time Systems
저자: Hui Guo, Woo Jin Lee
게재/발표: WSEAS Conference on Applied Computer Science, Hangzhou, China, April 15-17, 2007.
분야: Real-Time Systems, Timing Constraints, Formal Methods, Verification
임베디드 실시간 시스템의 타이밍 제약을 컴포지셔널 방식으로 검증하는 기법을 제안합니다.
Enhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence
저자: 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)을 활용하여 분산 임베디드 시스템의 컴포지셔널 안전성 분석을 강화하는 기법을 제안합니다.
Design of a Bi-directional and Data-oriented Universal Remote Controller using ZigBee
저자: Youngsul Shin, Woo Jin Lee
게재/발표: The 6th International Conference on Applications and Principles of Information Science, Kuala Lumpur, Malaysia, pp. 587-590, Jan. 2007.
분야: Embedded Systems, ZigBee, IoT
ZigBee를 활용한 양방향 데이터 지향 범용 원격 컨트롤러 설계를 제안합니다.
Synthesis of Timing Scenarios for Embedded Systems using Modular Petri nets
저자: 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을 사용하여 임베디드 시스템의 타이밍 시나리오를 합성하는 기법을 제안합니다.
An Implementation of the tool supporting design pattern and maintaining alteration of design model for EJB component design
저자: 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 컴포넌트 설계를 위한 디자인 패턴 지원 및 설계 모델 변경 관리 도구의 구현을 제안합니다.
A Web Client Generator for Testing Interfaces of EJB Components
저자: 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 컴포넌트의 인터페이스를 테스트하기 위한 웹 클라이언트 자동 생성기를 제안합니다.
Development of COBALT (COmponent-Based AppLication development Tool) for Modeling and Constructing EJB based Components
저자: 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)를 개발합니다.
Modeling and Analyzing Requirements of Service-Oriented Communication Softwares Using Use Cases
저자: 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
유스케이스를 활용하여 서비스 지향 통신 소프트웨어의 요구사항을 모델링하고 분석하는 방법을 제안합니다.
Inter-class Integration Testing using UML State Diagram
저자: 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 상태 다이어그램을 활용하여 클래스 간 통합 테스팅을 수행하는 기법을 제안합니다.
A Petri-Nets Based Approach for Detecting Feature Interactions in Telecommunications Services
저자: 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) 문제를 탐지하는 접근법을 제안합니다.
Analysis and Enactment of a Distributed Software Process Model: The AttNet Model
저자: Woo Jin Lee, In Sang Chung, Yong Rae Kwon