저자: 박세찬, 김덕엽, 서강복, 이우진 게재지: 정보처리학회논문지:소프트웨어 및 데이터 공학(ISSN:2287-5905), 제11권 12호, pp. 489-498, 2022년 12월 분야: 스마트섬유/소재
본 논문은 데이터 불균형과 측정 오차를 고려한 생분해성 섬유 인장 강신도 예측 모델 개발에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 정승모, 이우진 게재지: 한국컴퓨터정보학회논문지(ISSN:1598-849X), 제27권 제5호, pp. 109-116, 2022년 3월 분야: UML 모델링
본 논문은 A Study on Applying a Consistent UML Model to Naval Combat System Software Using Model Verification System에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 서강복, 이성희, 김덕엽, 이우진 게재지: 정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제46권 제11호, 2019년 11월 분야: 소프트웨어 테스팅, 프로그래밍 교육, Concolic Testing
본 논문은 Concolic Testing 기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구에 관한 연구로, 프로그래밍 교육 지원을 위한 자동화 기법을 제안한다. 학습자의 코드를 자동으로 분석하여 효과적인 피드백을 제공하고 학습 효율을 높일 수 있다.
저자: 이성희, 김덕엽, 서강복, 이우진 게재지: 정보처리학 회논문지:소프트웨어 및 데이터 공학(ISSN:2287-5905), 제8권 제8호, pp. 317-322, 2019년 8월 분야: 소프트웨어 테스팅, 프로그래밍 교육
본 논문은 프로그래밍 훈련 지원을 위한 테스트케이스의 제어흐름에 기반한 프로그래밍 실패 피드백 시스템 설계에 관한 연구로, 소프트웨어 테스팅 자동화 및 효율화를 위한 새로운 기법을 제안한다. 제안된 방법을 통해 소프트웨어의 결함 탐지 능력과 테스트 커버리지를 향상시킬 수 있다.
저자: 김덕엽, 윤보람, 이성희, 이우진 게재지: 정보처리학회논문지:소프트웨어 및 데이터 공학(ISSN:2287-5905), 제6권 제10호, pp. 473-478, 2017년 10월 분야: 드론/UAV, 센서 시스템
본 논문은 드론의 고도 유지를 위한 가속도센서 기반 고도 측정 알고리즘 개선에 관한 연구로, 드론/무인비행체 소프트웨어의 신뢰성 및 운용 효율성 향상을 위한 방법을 제안한다. 설계된 시스템을 통해 드론의 자율 비행 및 테스트 자동화를 지원한다.
저자: 후세인무하메드입팔, 이우진 게재지: 정보처리학회논문지:소프트웨어 및 데이터 공학(ISSN:2287-5905), 제6권 제9호, pp. 419-428, 2017년 9월 분야: 소프트웨어 테스팅, 임베디드 소프트웨어
본 논문은 임베디드 시스템의 결함 주입 기반 간접 상호작용 테스팅 기법에 관한 연구로, 임베디드 소프트웨어의 개발 및 검증 효율화를 위한 기법을 제안한다. 제안된 접근법은 임베디드 시스템의 신뢰성과 품질 향상에 기여한다.
저자: 이성희, 윤보람, 김덕엽, 김황수, 이우진 게재지: 정보과학회논문지(ISSN:2383-630X), 제44권 제6호, pp. 601-606, 2017년 6월 분야: 드론/UAV
본 논문은 배터리 전압 강하를 고려한 드론 모터 속도 제어기 개발에 관한 연구로, 드론/무인비행체 소프트웨어의 신뢰성 및 운용 효율성 향상을 위한 방법을 제안한다. 설계된 시스템을 통해 드론의 자율 비행 및 테스트 자동화를 지원한다.
저자: 이승민, 이우진 게재지: 정보처리학회논문지:컴퓨터 및 통신시스템(ISSN:2287-5891), 제5권 제10호, pp. 353-360, 2016년 10월 분야: 기계학습/AI, 신재생에너지
본 논문은 기계학습을 이용한 태양광 발전량 예측 및 결함 검출 시스템 개발에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 백태산, 이우진 게재지: 정보처리학회논문지:소프트웨어 및 데이터 공학(ISSN:2287-5905), 제5권 제4호, pp. 165-170, 2016년 4월 분야: 소프트웨어 테스팅, 안드로이드, 컴포넌트 기반 개발
본 논문은 안드로이드 인텐트 기반 컴포넌트 상호작용 다이어그램 생성 및 테스트 시나리오 설계기법에 관한 연구로, 안드로이드 어플리케이션의 품질 향상을 위한 기법을 제안한다. 자동화된 테스팅 및 분석 도구를 통해 어플리케이션의 결함을 효과적으로 탐지할 수 있다.
저자: 류호동, 정수용, 이우진, 김황수 게재지: 정보처리학회논문지:소프트웨어 및 데이터 공학(ISSN:2287-5905), 제4권 제9호, pp. 419-424, 2015년 9월 분야: 소프트웨어 테스팅, 임베디드 소프트웨어
본 논문은 임베디드 소프트웨어의 단위 테스팅을 위한 로그 기반 테스팅 프레임워크 개발에 관한 연구로, 임베디드 소프트웨어의 개발 및 검증 효율화를 위한 기법을 제안한다. 제안된 접근법은 임베디드 시스템의 신뢰성과 품질 향상에 기여한다.
저자: 류호동, 정수용, 이성희, 김지훈, 박흥준, 이승민, 이우진 게재지: 대한임베디드공학회논문지(ISSN:1975-5066), 제9권 제6호, pp. 307-314, 2014년 12월 분야: 소프트웨어 테스팅, 임베디드 소프트웨어
본 논문은 가상 프로토타입 기반 임베디드 소프트웨어의 테스트 기법에 관한 연구로, 임베디드 소프트웨어의 개발 및 검증 효율화를 위한 기법을 제안한다. 제안된 접근법은 임베디드 시스템의 신뢰성과 품질 향상에 기여한다.
저자: 류호동, 이우진 게재지: 정보처리학회논문지:컴퓨터 및 통신 시스템(ISSN:2287-5891), 제3권, 제10호, pp. 365-370, 2014년 10월 분야: 소프트웨어 테스팅
본 논문은 사물 인터넷 환경을 위한 BitTorrent 알고리즘 기반의 테스트 커버리지 측정기법에 관한 연구로, 소프트웨어 테스팅 자동화 및 효율화를 위한 새로운 기법을 제안한다. 제안된 방법을 통해 소프트웨어의 결함 탐지 능력과 테스트 커버리지를 향상시킬 수 있다.
저자: 이성희, 정설영, 강순주, 이우진 게재지: 한국통신학회논문지(ISSN:1226-4717), 제39권, 제10호, pp. 920-929, 2014년 10월 분야: 사물인터넷(IoT)
본 논문은 실내 위치기반 사물인터넷 채팅 서비스 설계 및 구현에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 백태산, 이성희, 이우진 게재지: 정보과학회논문지:컴퓨팅의 실제 및 레터(ISSN:1229-7712), 제20권, 제7호, pp. 386-391, 2014년 7월 분야: 소프트웨어 테스팅, 안드로이드, UML 모델링
본 논문은 안드로이드 어플리케이션의 인텐트 목록과 추상 액티비티 다이어그램 기반 테스트 시나리오 생성 기법에 관한 연구로, 안드로이드 어플리케이션의 품질 향상을 위한 기법을 제안한다. 자동화된 테스팅 및 분석 도구를 통해 어플리케이션의 결함을 효과적으로 탐지할 수 있다.
저자: 백태산, 이우진 게재지: 정보과학회지(ISSN:1229-6821), 제32권 제4호, pp. 44-50, 2014년 4월 분야: 소프트웨어 테스팅
본 논문은 스마트폰 어플리케이션의 테스팅 기법 조사 및 분석연구에 관한 연구로, 소프트웨어 테스팅 자동화 및 효율화를 위한 새로운 기법을 제안한다. 제안된 방법을 통해 소프트웨어의 결함 탐지 능력과 테스트 커버리지를 향상시킬 수 있다.
저자: 아제이쿠마르차, 이우진 게재지: 대한임베디드공학회논문지(ISSN:1975-5066), 제9권 제1호, pp. 1-9,2014년 2월 분야: 안드로이드
본 논문은 안드로이드 어플리케이션의 결함 재생을 위한 액티버티 단위의 이벤트 캡춰 및 재생 기법에 관한 연구로, 안드로이드 어플리케이션의 품질 향상을 위한 기법을 제안한다. 자동화된 테스팅 및 분석 도구를 통해 어플리케이션의 결함을 효과적으로 탐지할 수 있다.
저자: 후세인무하메드입팔, 이우진 게재지: 정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제41권, 제1호, pp. 1-8, 2014년 1월 분야: 소프트웨어 공학
본 논문은 객체지향 시스템에서 객체 상호작용 패턴에 따른 체계적인 시험 방법을 제안한다. 객체 간의 상호작용을 패턴별로 분류하고 각 패턴에 적합한 테스트 기법을 제시한다.
저자: 후세인무하메드입팔, 이우진 게재지: 정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제41권, 제1호, pp. 1-8, 2014년 1월 분야: 소프트웨어 공학
본 논문은 객체지향 시스템에서 객체 상호작용 패턴에 따른 체계적인 시험 방법을 제안한다. 객체 간의 상호작용을 패턴별로 분류하고 각 패턴에 적합한 테스트 기법을 제시한다.
저자: 백태산, 이우진 게재지: 대한임베디드공학회논문지(ISSN:1975-5066), 제8권 제6호, pp. 319-327, 2013년 12월 분야: 소프트웨어 테스팅, 안드로이드, GUI 테스팅
본 논문은 안드로이드 어플리케이션의 액티비티 라이프사이클 기반 GUI 테스팅 기법에 관한 연구로, 안드로이드 어플리케이션의 품질 향상을 위한 기법을 제안한다. 자동화된 테스팅 및 분석 도구를 통해 어플리케이션의 결함을 효과적으로 탐지할 수 있다.
저자: 최윤자, 이우진 게재지: 정보과학회지(ISSN:1229-6821), 제31권 제5호, pp. 18-24, 2013년 5월 분야: 소프트웨어 공학
본 논문은 자동차 전장용 소프트웨어 검증 동향에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 류호동, 이우진 게재지: 중소기업정보기술융합학회논문지(ISSN:2234-4438), 제2권, 제1호, pp. 33-40, 2012년 5월 분야: 임베디드 소프트웨어, UML 모델링
본 논문은 UML 모델 기반 임베디드 소프트웨어 모델링 및 코드 자동생성 기법 연구에 관한 연구로, 임베디드 소프트웨어의 개발 및 검증 효율화를 위한 기법을 제안한다. 제안된 접근법은 임베디드 시스템의 신뢰성과 품질 향상에 기여한다.
저자: 석미희, 류호동, 이우진 게재지: 정보처리학회논문지A(ISSN:1598-2831), 제19-A권, 제 2호, pp.101-112, 2012년 4월 분야: 소프트웨어 공학
본 논문은 TMO 기반의 실시간 객체 모델의 코드 자동생성기법 연구에 관한 연구 로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 권진욱, 최윤자, 이우진 게재지: 정보처리학회논문지D(ISSN:1598-2866), 제19-D권, 제1호, pp. 31-40, 2012년 2월 분야: 소프트웨어 공학
본 논문은 역공학을 이용한 자바 소스 코드의 변화량 분석 및 시각화 도구 개발에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: Dong-Hyun Ryu, 이우진 게재지: 국제해양정보통신학회영문논문지(International Journal of Maritime Information and Communication Sciences) (ISSN:1738-0235), Vol. 9, No. 5, Oct. 2011 분야: 소프트웨어 공학
본 논문은 A Portfolio Model for National IT R&D Strategy Project Selection Methods에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 류동현, 박정용, 이우진 게재지: 한국해양정보통신학회논문지(ISSN:1226-6981), 제15권, 제3호, 2011년 3월 분야: 소프트웨어 공학
본 논문은 국가 IT R&D 전략과제 선정 모형 개발에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 신영술, 이우진 게재지: 정보처리학회지 (ISSN:1226-9182), 제18권, 제1호, pp 33-42, 2011년 1월 분야: 소프트웨어 테스팅, 컴포넌트 기반 개발
본 논문은 파라미터를 고려한 컴포넌트 인터페이스의 최적 테스트 시퀀스 생성 기법에 관한 연구로, 소프트웨어 테스팅 자동화 및 효율화를 위한 새로운 기법을 제안한다. 제안된 방법을 통해 소프트웨어의 결함 탐지 능력과 테스트 커버리지를 향상시킬 수 있다.
저자: 류동현, 박정용, 이우진 게재지: 한국해양정보통신학회논문지(ISSN:1226-6981), 제14권, 제10호, 2010년 10월 분야: 소프트웨어 공학
본 논문은 시나리오기반 IT 미래전략연구의 공학적 접근법에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 이정선, 최윤자, 이우진 게재지: 정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제37권, 제9호, pp.669-675, 2010년 9월 분야: 소프트웨어 공학
본 논문은 최소한의 방문 기록을 이용한 병행 시스템의 상태공간 순회기법(State Space Exploration of Concurrent Systems with Minimal Visit History)에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 박인수, 이정선, 조성래, 정우영, 이우진 게재지: 정보처리학회논문지A(ISSN:1598-2831), 제17-A권, 제4호, pp.203-212, 2010년 08월 분야: 컴포넌트 기반 개발, AUTOSAR
본 논문은 AUTOSAR 기반 차량용 소프트웨어 컴포넌트 모델링 도구(A Component Modeling Tool based on AUTOSAR for Automotive Software)에 관한 연구로, 컴포넌트 기반 소프트웨어 개발의 효율성을 높이는 방법을 제안한다. 체계적인 컴포넌트 모델링 및 검증 과정을 통해 소프트웨어 재사용성과 품질을 향상시킨다.
저자: 이원주, 이우진, 박영철 게재지: 소프트웨어공학소사이어티 논문지(ISSN:1738-6322), 제23권, 제2호, pp. 51-62, 2010년 6월 분야: 웹 서비스
본 논문은 유지보수가 용이한 프레임워크 기반의 웹 애플리케이션 개발 기법(A Web Application Development Framework supporting Maintenance)에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 박인수, 신영술, 안성호, 김진삼, 김재영, 이우진 게재지: 정보처리학회논문지D(ISSN:1598-2866), 제17-D권, 제4호, pp. 147-156, 2010년 04월 분야: 소프트웨어 테스팅, 임베디드 소프트웨어
본 논문은 테스트 수행시간을 고려한 임베디드 소프트웨어의 적합성 테스트 시나리오 추출기법(Conformance Test Scenario Extraction Techniques for Embedded Software using Test Execution Time)에 관한 연구로, 임베디드 소프트웨어의 개발 및 검증 효율화를 위한 기법을 제안한다. 제안된 접근법은 임베디드 시스템의 신뢰성과 품질 향상에 기여한다.
저자: 박영준, 이우진 게재지: 정보처리학회논문지A(ISSN:1598-2831), 제16-A권, 제5호, pp. 339-346, 2009년 10월 분야: 웹 서비스
본 논문은 웹 서비스 동적 연동을 위한 클라이언트 에이전트 프레임워크(A Client Agent Framework for Dynamic Connection with Web Services)에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 곽휘, 이우진 게재지: 정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제36권, 제6호, pp 443-450, 2009년 6월 분야: UML 모델링, 시뮬레이션
본 논문은 순차도의 추상 시나리오 기반의 UML 상태 머신 다이어그램 시뮬레이션 기법(Simulation of State Machine Diagram based on Sequence Diagram)에 관한 연구로, 소프트웨어 개발 및 검증을 위한 시뮬레이션 기반 접근법을 제안한다. 가상 환경에서의 시뮬레이션을 통해 실제 배포 전 소프트웨어의 동작을 효과적으로 검증한다.
저자: 김호준, 이우진 게재지: 정보처리학회논문지D(ISSN:1598-2866), 제16-D권, 제1호, pp. 65-72, 2009년 2월 분야: 컴포넌트 기반 개발, UML 모델링
본 논문은 UML 상태기계 다이어그램을 이용한 컴포넌트 인터페이스의 행위 호환성 검증도구에 관한 연구로, 컴포넌트 기반 소프트웨어 개발의 효율성을 높이는 방법을 제안한다. 체계적인 컴포넌트 모델링 및 검증 과정을 통해 소프트웨어 재사용성과 품질을 향상시킨다.
저자: 이우진 게재지: 정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제35권, 제 1호, pp. 12-21, 2008년 1월 분야: UML 모델링
본 논문은 Slice 모델을 이용한 유한상태머신의 트랜지션 축약 알고리즘에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 이우진 게재지: 정보처리학회논문지D (ISSN : 1598-2866), 제14—D권, 제 5호, pp. 633-640, 2007년 10월 분야: 임베디드 소프트웨어
본 논문은 FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법에 관한 연구로, 임베디드 소프트웨어의 개발 및 검증 효율화를 위한 기법을 제안한다. 제안된 접근법은 임베디드 시스템의 신뢰성과 품질 향상에 기여한다.
저자: 신영술, 이우진 게재지: 정보처리학회논문지A(ISSN 1598-2831), 제14—A권, 제 5호, pp. 287-294, 2007년 10월 분야: 소프트웨어 공학
본 논문은 동적 재구성이 가능한 데이터 지향적인 양방향 통합 리모컨의 소프트웨어 프레임워크에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 이우진 게재지: 정보처리학회논문지D, 제11-D권 제1호, pp. 115-122, 2004년 2월. 분야: 페트리네트
본 논문은 페트리 네트를 이용한 시스템 속성의 명세 및 분석(Specification and Analysis of System Properties by using Petri nets)에 관한 연구로, 페트리 네트를 이용한 소프트웨어 시스템의 모델링 및 분석 기법을 제안한다. 정형적 모델 기반 검증을 통해 시스템의 정확성과 안전성을 보장한다.
저자: 이우진, 권오천 게재지: 정보과학회논문지:CP, 제9권, 제4호, pp. 381-392, 2003년 8월 분야: 컴포넌트 기반 개발
본 논문은 객체지향 도메인 모델을 이용한 컴포넌트 식별 도구 개발(Tool Development for Identifying Components using Object-Oriented Domain Models)에 관한 연구로, 컴포넌트 기반 소프트웨어 개발의 효율성을 높이는 방 법을 제안한다. 체계적인 컴포넌트 모델링 및 검증 과정을 통해 소프트웨어 재사용성과 품질을 향상시킨다.
저자: 이우진, 김민정, 정양재, 윤석진, 최연준, 이지현, 신규상 게재지: 정보처리학회논문지 D, 제 8-D권, 제 6호, pp. 761-770, 2001년 12월 분야: 컴포넌트 기반 개발
본 논문은 J2EE 플랫폼에서의 개념적 컴포넌트 모델링 및 컴포넌트 생성지원도구 개발(Development of a Supporting Tool for Conceptual Component Modeling and Component Construction on the J2EE Platform)에 관한 연구로, 컴포넌트 기반 소프트웨어 개발의 효율성을 높이는 방법을 제안한다. 체계적인 컴포넌트 모델링 및 검증 과정을 통해 소프트웨어 재사용성과 품질을 향상시킨다.
저자: 이우진, 차성덕, 권용래, 김흥남 게재지: 정보과학회논문지:소프트웨어 및 응용(Journal of The Korea Information Science Society: Software and Applications), vol. 27, no. 3, pp. 210-216, 2000년 3월. 분야: 페트리네트
본 논문은 페트리네트Slice를 이용한 페트리네트 모델의 합성적 분석(Compositional Analysis of Petri Net Models using Petri net Slices)에 관한 연구로, 페트리 네트를 이용한 소프트웨어 시스템의 모델링 및 분석 기법을 제안한다. 정형적 모델 기반 검증을 통해 시스템의 정확성과 안전성을 보장한다.
저자: 이우진, 채흥석, 차성덕, 이장수, 권용래 게재지: 정보과학회논문지(C)(Journal of The Korea Information Science Society(C)), vol. 26, no. 4, pp. 457-466, Aug. 1999. 분야: 소프트웨어 공학
본 논문은 CPN 모델의 역방향 안전성 분석 도구 개발(Development of Backward Safety Analysis Tool (SAC) for CPN Model)에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 김현수, 이우진, 최정훈, 권용래 게재지: 정보과학회논문지(Journal of The Korea Information Science Society), vol. 22, no. 2, pp. 326-336, 1995. 02. 분야: 소프트웨어 공학
본 논문은 차세대 지능망에서의 서비스 정의 및 검증(Definition and Verification of Services in the Advanced Intelligent Network)에 관한 연구로, 소프트웨어 공학 분야의 새로운 접근법을 제안하며, 실험 및 분석을 통해 그 유효성을 검증하였다.
저자: 이우진, 정인상, 권용래 게재지: 정보과학회논문지(Journal of The Korea Information Science Society), vol. 22, no. 1, pp. 79-87, 1995. 01. 분야: 분산 시스템
본 논문은 AttNet 기반 분산 소프트웨어 프로세스 모델의 계층적 분석 기법에 관한 연구이다. 분산 환경에서의 소프트웨어 프로세스를 효과적으로 모델링하고 분석하는 방법을 제시한다.