본문 바로가기

연구실 소개/졸업생

졸업생

▣ 박사학위(Ph.D degree)

최건봉(Cui Jian Feng)  2010. 02.
박사학위논문       An Emperical Study on Component Identification Approaches for Legacy Systems

 

배정호(Jung Ho Bae) 2014. 02.

박사학위논문       A Systematic Approach to Constructing Understandable State Machines



▣ 석사학위(MS degree)

하성호(Sung Ho Ha) 2007. 02.
석사학위논문       Aspect 추출을 위한 목표 방식의 요구사항 분석 기법

                    (Goal Oriented Requirement Analysis Approach For Reasoning Aspects)

 

박재걸(Jae Geol Park) 2007. 02.
석사학위논문       RFID 미들웨어를 위한 적응형 부하 분산 기법

                    (An Adaptive Approach to Load Balancing for RFID Middlewares)

 

박진욱(Jin Wook Park) 2007. 08. 
석사학위논문       UML과 OCL에 바탕을 둔, 객체지향 소프트웨어를 위한 측정 프레임웍의 설계 및 구현

                    (Design and Implementation of Object-Oriented Software Measurement Framework

                     Based on UML and OCL)

 

황경수(Kyung Soo Hwang) 2008. 02.
석사학위논문       자바 소스 코드의 컴포넌트화 기법

                    (An Approach to Componentization of Java Source Codes)

 

임종호(Jong Ho Lim) 2008. 02.

석사학위논문       RFID 미들웨어 시스템에 적합한 성능 진단 기법 연구

                    (A Study of Performance Diagnosis Approach for RFID Middleware System)

 

이광민(Kwang Min Lee)  2008. 02.
석사학위논문       연산의 선행/후행 조건에 바탕을 둔 클래스의 상태 다이어그램 구성 기법

                    (Automatic Construction of State Diagram from Class Operations with Pre/post

                     Conditions)

 

배정호(Jung Ho Bae) 2009. 02.
석사학위논문       계약기반 클래스의 상태 다이어그램 자동 생성 기법

                    (Automatic State Diagram Generation Approach from Contract Based Class)

 

김태연(Tae Yeon Kim) 2009. 02. 
석사학위논문       객체지향 메트릭을 이용한 결함 예측 모형의 실험적 고찰

                    (Consideration from Experiment of Software Defect Prediction Models Using Object

                     Oriented Metrics)

 

소을석(Eul Seok So) 2009. 02. 
석사학위논문       계약 기반 클래스의 연산 테스트를 위한 스크립트 자동 생성

                    (Automatic Test Script Generation for Operation Tests of A Contract Based Class)

 

김윤규(Yun Kyu Kim) 2010. 02.
석사학위논문       결함 예측 모형의 절단 값 선정에 따른 결함 예측 모형의 예측 능력에 관한 실험적 고찰

                    (A Comparative Experiments about Prediction Capabilities Varied with a Chosen

                     Cut-off Value of Defect Prediction Models)

 

이광수(Kwang Su Lee) 2010. 02.

석사학위논문       RFID 미들웨어 시스템에 적합한 장애 진단 기법 연구

                    (A Study of Fault Diagnosis Approach for RFID Middleware System)

 

이선열(Sun Yeol Lee) 2010. 02. 
석사학위논문       적합도 평가 코드를 이용한 테스트 데이터 자동 생성

                    (Test Data Generation Using Fitness Evaluation Code)

 

백현석(Hyun Suk Baek) 2010. 08.
석사학위논문       RFID 미들웨어의 작업 이동 비용 절감을 위한 효율적인 작업 분할 기법

                    (An efficient job partitioning approach for reducing the Job migration cost of

                     RFID middleware system)

 

최현재(Hyun Jae Choi) 2012. 02.

석사학위논문       매크로 스텝 기반 담금질 기법을 이용한 테스트 데이터 생성 방법

                    (Test Data Generation using Macro step based Simulated Annealing)

 

정연지(Yeon Ji Jung) 2012. 02.
석사학위논문       RFID 미들웨어를 위한 메타모픽 연관성에 바탕을 둔 테스팅 방법

                    (RFID Middleware Testing Methods Based on Metamorphic Relations)

 

이정욱(Jeong Uk Lee) 2013. 02.
석사학위논문       안드로이드 앱 간의 상호작용 테스트를 위한 테스트 케이스 생성 기법

                    (Technique of Test Case Generation for Interaction Test Among Android Apps)

 

윤영동(Young Dong Yoon) 2014. 02.

석사학위논문       코드 커버리지 향상을 위한 상태 기계 변환 방법

                    (Transformation of State Machine for Improvement of Code Coverage)

 

구교진(Kyo Jin Koo) 2015. 02.

석사학위논문       소프트웨어 결함 예측 모델 구축 방법의 예측력 비교

                    (A Comparison of the Effectiveness of Software Defect Prediction Models)


백상한(Sang Han Baek) 2016. 02.

석사학위논문       Objective C 및 HTML5에 대한 적정한 SW사업 대가의 언어 보정계수에 관한 연구

                    (A Study on appropriate Language Correction Factor of "The Guide of Software

                         Cost Estimation" about Objective C and HTML5)

 

이기철(Gi Cheol Lee) 2017. 02.

석사학위논문       안전성 제약사항을 이용한 안전성 테스트 케이스 생성 방법

                    (A technique for safety test case generation using safety constraint)

 

정동욱(Dong Uk Jeong) 2018. 02.

석사학위논문       규칙 간 순서를 고려한 테스트 케이스 생성 방법

                    (A Test Case Generation Technique for Decision Table Considering)

  

이영우(Young Woo Lee) 2018. 08.

석사학위논문       패턴을 이용한 자율주행 차량의 피처 간 상호작용 식별

                    (Detection of Feature Interaction in Autonomous System Using Pattern)

 

송민주(Min Ju Song) 2019. 08.

석사학위논문       Metamorphic Relations를 이용한 이미지 분류 딥러닝 모델의 정확성 평가 방법

                    (Accuracy Evaluation Method of Image Classification Deep Learning Model Using Metamorphic Relations)


이현호(Hyeon Ho Lee) 2020. 02.

석사학위논문       CNN의 일반화 오류 평가 방법

                    (CNN Generalization Error Evaluation Method)