Thesis


Ph.D Thesis

2016

  • 박지훈 [Park, Jihun], “저장소 마이닝 분야의 그래프 기반 예측 접근 방법 [Graph-based Prediction Approaches in Mining Software Repositories]

2014

  • Tegegne M.Z. [Zewdie, Tegegne Marew], “객체지향 분석 및 설계에서 비기능적 요구사항 통합을 위한 전략기반 접근방법 [Tactics Based Approach for Integrating Non-Functional Requirements In Object-Oriented Analysis and Design]
  • 배기곤 [Bae, Gigon], “그래픽 사용자 인터페이스 어플리케이션 테스팅 지원을 위한 플러그인 기반 프레임워크 [A Plugin-Based Framework for Supporting GUI Application Testing]

2013

  • 최진호 [Choi, Jinho], “실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법 [Timing Consistency Checking for UML/MARTE Behavioral Models of Real-Time Embedded Software]
  • 한아림 [Han, Ah-Rim], “객체지향 소프트웨어의 유지보수성 향상을 위한 리팩토링 식별 및 선택 방법에 대한 연구 [Identification and Selection of Refactorings for Improving Maintainability of Object-Oriented Software]

2012

  • 서영석 [Seo, Young-Seok], “적응형 재귀 데이터 분할법에 의한 다중 회귀식 기반의 소프트웨어 공수 예측 정확도 향상 [Improving the Accuracy of Software Effort Estimation based on Multiple Regressions by Adaptive Recursive Data Partitioning]

2011

  • 강동원 [Kang, Dongwon], “소프트웨어 프로젝트에서의 제약사항 기반의 인력 할당 방안에 대한 연구 [Constraint-based human resource allocation in software projects]
  • 김수용, “API-level의 Symbolic Execution을 통한 Fuzzing Grammar 자동 생성 연구
  • 박승훈 [Park, Seung-Hun], “프로세스 슬라이싱과 시뮬레이션을 이용한 소프트웨어 프로세스 변경 영향 분석 연구 [An approach to analyzing the software process change impact using process slicing and simulation]
  • 박외진 [Park, Wei-Jin], “효과적인 소프트웨어 재사용을 위한 UML 스펙 매칭 프레임워크 [A UML specification matching framework for effective software reuse]
  • 이숙희 [Lee, Sukhee], “클론에 바탕을 둔 리팩토링을 위한 자동 스케줄링 기법 [Automated scheduling for clone based refactoring]

2010

  • 윤경아 [Yoon, Kyung-A], “소프트웨어 프로젝트 데이터에 대한 패턴 기반의 이상치 검출 및 정제 기법 [A Pattern-based Approach to Identifying and Correcting Outliers in Software Project Data]
  • 전상욱 [Jeon, Sang-Uk], “MPSoC 내장형 소프트웨어의 UML 기반 플랫폼 독립적 모델링 및 성능 분석 기법 [Modeling and performance evaluation of UML-based platform independent models for MPSoC embedded software]

2009

  • 지은경 [Jee, Eun-Kyoung], “FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법 [(A) data flow-based structural testing technique for FBD programs]

2008

  • 김인규 [Kim, In-Gyu], “동적, 유연적, 계층적 결합에 의한 소프트웨어 진화를 지원하는 컴포넌트 결합 모델 [A Component Composition Model for Software Evolution through Dynamic, Flexible, and Hierarchical Composition]
  • 김형호 [Kim, Hyung-Ho], “소프트웨어 모듈화를 위한 개념 분석 기법 [Concept analysis techniques for software modularization]

2006

  • 김정윤 [Kim, Jungyoon], “의존성 정렬을 이용한 기능 기반의 소프트웨어 구축방안 연구 [A Feature Based Software Modeling by Dependency Alignment for Levelled Maintenance]
  • 최경식 [Choi, Keung-Sik], “소프트웨어 획득 프로세스 분석을 위한 하이브리드 시뮬레이션 기법 [Hybrid software process simulation modeling for analyzing software-intensive system acquisition]

2005

  • 한익주 [Han, Ik-Joo], “관계 모델에 기반한 subject 지향 소프트웨어 조합 기법 [(An) approach to subject-oriented software composition based on relation model]

2003

  • 민상윤 [Min, Sang-Yoon], “메타 프로세스 모델에 기반한 소프트웨어 프로세스 모델링 프레임워크 [(A) software process modeling framework based on meta process model]
  • 이준상 [Lee, Joon-Sang], “객체 역할 결합모순을 완화하기 위한 진보된 객체 역할모델 [(An) enhanced role model for alleviating the role-binding anomaly]

2001

  • 홍장의 [Hong, Jang-Eui], “시나리오 기반의 기능적 행위 모델링을 위한 계층 구조의 객체지향 페트리 넷 [Hierarchical object-oriented Petri net for scenario-based functional behaviors modeling]

2000

  • 김영곤 [Kim, Young-Gon], “UML 명세로부터의 시험사례 생성에 관한 연구 [Test case generation from UML-based specification]


MS Thesis

2016

  • 백영민 [Baek, Youngmin], “다중 레벨 GUI 비교 기준을 이용한 모델 기반의 자동화 안드로이드 GUI 테스팅 [Automated Model-Based Android GUI Testing using Multi-Level GUI Comparison Criteria]
  • 송지영 [Song, Ji Young], “FBD 프로그램을 위한 테스트 시퀀스 생성 자동화 연구 [Automated Test Sequence Generation for FBD Programs]

2015

  • 채철우 [Chae, Cheolwoo], “뮤테이션 기반의 오류 위치 추정 기법에서의 테스트 스위트 크기를 줄이는 방법에 대한 실험적 연구 [Experimental Analysis of Test-Suite Reduction on Mutation-Based Fault Localization]
  • 임유진 [Lim, Yoo Jin], “군집 적응형 시스템의 자가 적응 행위 테스팅 기법 [Testing Self-Adaptive Behaviors in Collective Adaptive Systems]

2014

  • 서동원 [Seo, Dongwon], “소프트웨어 품질과 제한 시간을 고려한 프로젝트 계획 생성 방법 [Quality Based Software Project Staffing and Scheduling with Time Bound]
  • 홍광의 [Hong, Gwangui], “실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 [A Systematic Code Verification Approach for the Properties of Real-Time Software Model]

2013

  • 원종세 [Won, Jong Se], “형상 관리 정보를 이용한 테스트 공수 예측 [Test effort estimation using configuration management information]
  • Nguyen Minh Chau, “실시간 임베디드 소프트웨어를 위한 UML/MARTE 행위 모델로 부터의 타이밍 다이어그램 자동생성 기법 [Automatic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Real-Time Embedded Software]

2012

  • 박범석 [Park, Bum-Seok], “소프트웨어 제품 라인에서 외부 실패비용을 기반으로 한 단위 테스트 전략 [External failure cost based unit test strategy of software product line]
  • 박지훈 [Park, Jihun], “부가적인 버그 수정에 대한 경험적 연구 [An Empirical Study of Supplementary Bug Fixes]
  • 신동환 [Shin, Donghwan], “뮤테이션 분석을 이용한 FBD 모델 기반 테스트 범위 기준의 실험적 평가 [Empirical Evaluation on FBD Model-Based Test Coverage Criteria using Mutation Analysis]

2011

  • 이슬기 [Lee, Seul Ki], “웹 서비스를 위한 작업 수준 충돌 관리에 관한 연구 [An Approach to Activity-Level Conflict Management on Web Services]
  • 조현식 [Cho, Hyun Sik], “유추기반 공수 예측에서 국소적으로 최적화된 속성 가중치 부여 기법에 관한 연구 [An Approach to Locally Optimized Feature Weighting in Analogy-Based Software Effort Estimation]

2010

  • 투 안칸 레도 [Le Do, Tuan Khanh], “추론 기반의 공수 예측을 위한 일관성 없는 소프트웨어 프로젝트 데이터의 제거 [Filtering of inconsistent software project data for analogy-based effort estimation]
  • 트롱 장 레 [Le, Truong Giang], “웹 어플리케이션을 위한 소프트웨어 결함 예측 지표에 대한 연구 [Software Fault Predictors for Web Applications]
  • 이선경 [Lee, Sun-Kyung], “유스케이스 트랜잭션 기반의 소프트웨어 공수 예측 기법 [Software effort estimation based on use case transaction]

2009

  • 이동호 [Lee, Dong-Ho], “군집기반 k-NN과 최대우도추정법을 결합한 소프트웨어 프로젝트 데이터용 하이브리드 대치법 [Hybrid imputation of cluster-based k-NN and maximum likelihood estimation in software project data]
  • 이찬희 [Yi, Chan-Hee], “연관성 규칙을 활용한 비기능 요구사항에의 추적성 향상에 대한 연구 [Improving recovery of traceability links to NFRs utilizing association rule]
  • 임형인 [Ihm, Hyoung-In], “내장형 S/W 개발 시 명령어패턴을 이용한 모델 기반의 에너지 소모 예측 기법 [Model-based energy consumption prediction in embedded S/W development using instruction pattern]

2008

  • 서영석 [Seo, Yeong-Seok], “이상치 데이터의 제거 기법을 이용한 소프트웨어 공수 예측 모델의 경험적 분석 [(An) empirical analysis of software effort estimation with outlier elimination]
  • 송태훈 [Song, Tae-Hoon], “국방 항공소프트웨어 정비를 위한 확률 기반의 공수 예측에 대한 연구 [(An) approach to probabilistic effort estimation for military avionics software maintenance]
  • 오진웅 [Oh, Jin-Ung], “소프트웨어 진화를 위한 변화와 참조 이력을 이용한 클래스 분류 [Class Classification using Change and Reference History for Supporting Software Evolution]
  • 우석중 [Woo, Seok-Joong], “개발자의 행동패턴을 이용한 작업 기반 공수측정 기법 [An approach to task-based measurement of development effort using developer’s behavior pattern]

2007

  • 김수현, “이벤트 시퀀스 분석을 통한 개인의 공수 측정 자시화에 대한 연구
  • 김현정 [Kim, Hyeon-Jeong], “시뮬레이션을 이용한 점진적 스포트웨어 개발의 특징 분석 [Analyzing the characteristics of incremental software development by using simulation]
  • 송인권 [Song, In-Gwon], “UML 2.0 시나리오 명세에 내재된 시나리오 분석기법 [Implied scenario analysis in UML 2.0 scenario specification]
  • 한아림 [Han, Ah-Rim], “변경 경향성 예측을 위한 UML 2.0 시퀀스 다이어그램에서의 행위 의존도 측정 [Behavioral dependency measurement in UML 2.0 sequence diagrams for change-proneness prediction]

2006

  • Vo, Pham Tra My [Vo, Pham Tra My], “관점지향 프로그래밍에서의 단위해석을 위한 관점 인터페이스 트리 [Tree aspect-aware interface tree for modular reasoning in aspect-oriented programming]
  • 김성태 [Kim, Sung-Tae], “Experience base를 이용한 소프트웨어 개발 시 발생하는 Deviation 관리 지원기법 [An Approach to Supporting Deviation Management during Software Development Using Experice Base]
  • 이희진 [Lee, Hee-Jin], “임베디드 소프트웨어 개발을 위한 UML 2.0 시퀀스 다이어그램의 예외상황과 인터럽트 모델링 [Exception and Interrupt Modeling in UML 2.0 Sequence Diagrams for Embedded Software Development]
  • 정성철 [Jung, Sung-Chul], “임무결정적 내장형 소프트웨어 개발을 위한 UML 기반의 모델링 및 시뮬레이션 기법 [A UML-based modeling & simulation approach for mission-critical embedded software development]
  • 진용호 [Jin, Yong-Ho], “소프트웨어 측정을 위한 데이터 모델의 다차원 확장 [A multidimensional extension of data model for software measurement]

2004

  • 고현민 [Ko, Hyun-Min], “확장된 Activity 다이어그램을 사용한 비즈니스 모델로부터 Use Case 다이어그램 추출 방법 [A method for deriving use case diagram from business model with extended activity diagram]
  • 김병국 [Kim, Byung-Guck], “시스템 다이내믹스 기법을 이용한 소프트웨어 개발 프로젝트의 위험 관리 [Risk management using system dynamics technique for a software development project]
  • 김철호 [Kim, Cheol-Ho], “관점지향 리팩토링 목록 설계 [Design of aspectual refactoring catalog]
  • 손명근 [Son, Myung-Geun], “확장된 소프트웨어 프로세스 공학 메타모델 기반의 프로세스 맞춤화 기법 [An approach to extended SPEM-based process tailoring]
  • 이선애 [Lee, Sun-Ae], “안정적 소프트웨어 모듈 진화를 위한 객체 행위 합성 [Behavioral composition for compatible software module evolution]

2003

  • 마로 [Tegegne, Marew], “컴포넌트 라이브러리로부터 명세에 가장 근접한 후보 컴포넌트 추출 기법 [Selecting candidate component best matching specification from a component library]
  • 윤경아 [Yoon, Kyung-A], “모델 기반의 프로젝트 프로세스 분석 기법 [An approach to model-based project process analysis]
  • 전상욱 [Jeon, Sang-Uk], “디자인 패턴 적용을 위한 설계 구조의 자동 추출 기법 [(An) approach to automatically identifying design structure for applying design pattern]

2001

  • 권재은 [Kwon, Jae-Eun], “서버 컴포넌트의 확장성을 위한 재구성 기법 [Refactoring for scalability in server components]
  • 윤일철 [Yoon, Il-Chul], “소프트웨어 프로세스 맞춤화 및 검증 기법 [(An) approach to tailoring and verifying software process]
  • 조성찬 [Cho, Sung-Chan], “시나리오 명세에 기반한 웹 어플리케이션 자동 생성 기법 [(An) approach to generating web applications from scenarios]

2000

  • 권오성 [Kwon, Oh-Sung], “성숙도 모델 기반의 소프트웨어 유지보수 프로세스 향상 방안에 관한 연구 [A study on the improvement of software maintenance process based on the maturity model]
  • 김인규 [Kim, In-Gyu], “자율적 객체에서의 코드 이동성을 이용한 동적 기능 합성 [Dynamic composition of functionality using code mobility for autonomous objects]
  • 정인복 [Chung, In-Bok], “분산 소프트웨어 설계를 지원하는 시각적 아키텍처 기술 언어 [(A) visual architecture description language for distributed software design]

1999

  • 박외진 [Park, Wei-Jin], “소프트웨어 재공학에서의 객체 모델 정제 기법 [Object-oriented model refinement technique in software reengineering]
  • 이준상 [Lee, Joon-Sang], “분산 소프트웨어 시스템 개발을 위한 메타오브젝트 프로토콜 기반 객체지향 기법 [Object-oriented methodology based on a high-level meta-object protocol (diMOP) for developing distributed software systems]
  • 이호동 [Lee, Ho-Dong], “활동 중심 소프트웨어 프로세스 모델에서의 관점 변환을 통한 프로세스 관리 및 분석 [Generating multiple perspectives from an integrated activity-centered process model]

1998

  • 김형호 [Kim, Hyung-Ho], “객체 지향 프레임워크를 위한 문서화 방안 [Documentation scheme for object oriented frameworks]

1997

  • 김규태 [Kim, Gyu-Tae], “병행 객체지향 로봇 프로그래밍 시스템을 위한 객체모형과 언어 설계 [A design of object model and language for concurrent object-oriented robot programming system]
  • 민상윤 [Min, Sang-Yoon], “메타 프로세스 모델에 기반한 소프트웨어 프로세스 모델링 프레임워크 [(A) software process modeling framework based on meta process model]
  • 방정원 [Bang, Jung-Won], “객체 지향 소프트웨어의 수정 테스트를 위한 변경 분석 [Change analysis for regression test of object-oriented software]
  • 백진욱 [Baek, Jin-Wook], “객체 지향 요구 명세의 동적 행위 검증을 위한 방법 [An approach to verification of dynamic behavior in object-oriented requirements specification]
  • 유광섭 [Yoo, Kwang-Seob], “실시간 시스템에서의 객체 동적 동작의 시간 제약사항 분석 [Time constraints analysis of dynamic object behavior in real-time systems]
  • 이진영 [Lee, Jin-Young], “애플리케이션의 보안 서비스 구현을 위한 디자인 패턴 [Design pattern for implementing security service in application]
  • 조진형 [Cho, Jin-Hyung], “시나리오기반 UML 객체지향 분석모델 검증기법 [Scenario driven verification method for UML object oriented analysis model]

1996

  • 강나루 [Kang, Na-Roo], “다중처리기에서의 태스크 그래프 스케쥴링을 위한 Cluster-Merge 기법을 이용하는 경험적 알고리즘 [A heuristic algorithm for scheduling task graphs to multiprocessors using the cluster-merge technique]
  • 김형섭 [Kim, Hyung-Seob], “소프트웨어 코드 재사용성 측정을 위한 모델링 [Modeling for measurement of software code reusability]
  • 승현석 [Seung, Hyun-Suk], “웹 정보검색 에이전트를 위한 클라이언트지향 분산 구조 [(A) client-oriented distribution architecture for web search agent]
  • 주철민 [Ju, Cheol-Min], “최단 마감시간 우선 스케줄링하에서 비주기성 태스크 처리를 위한 가변 이용율 서버 [Variable utilization server in earliest deadline first environments for scheduling aperiodic tasks]
  • 최제욱 [Choi, Je-Wook], “실시간 시스템을 위한 객체 지향 설계의 페트리 넷 기반의 분석에 관한 연구 [A study on petri net-based analysis of object-oriented design for real-time systems]