제 18회 한국 소프트웨어공학 학술대회 논문집 다운로드(KCSE 2016)

튜토리얼

• T1: 검색 기반 소프트웨어 공학 유신 교수(KAIST)
• T2: 자동차 SW의 안전성을 위한 프로세스 모델: Automotive SPICE 와 CMMI 한혁수 교수(상명대)
• T3: 임베디드 SW product line 개발 및 진화 이근 박사(삼성전자)

A1: SW 테스팅 1

• UML 상태 다이어그램 기반 테스트 스크립트 자동 생성 도구 [학부논문] – 이영우, 최현재, 채흥석(부산대)
• Pair-wise Component Compatibility Testing [단편논문] – Anvika, 윤일철(뉴욕대)
• 안드로이드 애플리케이션 무반응 탐색과 회피 방안 – 김경민, 최은만(동국대)
• 다중 결함 환경에서의 SFL성능 개선을 위한 테스트 케이스 군집화 및 가중치 부여 기법 [단편논문] – 이재희, 김정호, 이은석(성균관대)
• Circus 명세를 통한 Go 코드 생성 – 신지훈, 최진영(고려대)
• 동시성을 포함한 액티비티 다이어그램 기반 테스트 시나리오 생성 기법 [우수논문] – 백승찬, 최효린, 이병정(서울시립대), 이정원(아주대)

A2: SW 아키텍처 1

• 코드 중복 없이 안드로이드 컴포넌트에 예외 처리를 추가하는 클래스 설계 방법에 관한 연구 [우수학부논문] – 김현순, 이승휘, 이화중, 최광훈(연세대), 창병모(숙명여대)
• 레거시 소프트웨어의 품질 개선을 위한 역방향 Tactic 분석 중심의 아키텍처 평가 [우수산업체논문] – 류동국, 김재선, 김진태(엑스퍼트그룹)
  논리적 UI 모델의 MVC 패턴으로의 매핑 – 김세화, 최기봉, 이승엽(한국외대)
• 소프트웨어의 계층 구조 파악을 위한 계층적 K-means 알고리즘 – 이선로, 이찬근(중앙대)
• 공중전투기동 내장형 훈련 S/W 아키텍처 설계 [산업체논문] – 장영찬, 지철규, 오지현, 김천영(국방과학연구소)
• 자동차 원격 제어의 신뢰성을 높이기 위한 시스템 구조 및 동작 절차 제안 – 이윤성, 권영채, 이성주, 이율희, 이석원(아주대)

A3: 적응형 SW

• Using Problem Frames and Goal Modelling techniques to determine Variability in Smart Grid RTP systems – Meetushi, 이석원(아주대)
• 모델 기반 소프트웨어공학에 입각한 요구사항 추적성 메타모델 정의법 개관 [단편논문] – 변성훈, 이석원(아주대)
• 환경정보를 고려한 자가적응형 시스템을 위한 동적 의사결정 기술 [우수논문] – 김미수, 정호현, 이은석(성균관대)
• 모바일 어플리케이션 GUI 사용성 저해요소 검출 도구 [단편논문] – 마경욱, 박수진(서강대)
• 시간-주파수 논리를 활용한 클래식 형식 분석 [단편논문] – 박수정, 권혁주, 권기환(경기대)
• 레거시(PL/SQL) 코드에서 변경 영향을 검출하는 오염 분석기 설계 방법: 요약 해석을 기반으로 [산업체논문] – 김용기(삼성전자)

A4: 이슈 및 결함 관리

• Embedded S/W 개발에서 Issue 해결의 어려움에 대한 고찰 – 임순일, 정병민, 민상윤(KAIST)
• 가전제품 사업에서의 소프트웨어 버그리포트 재현가능성 향상에 관한 연구 – 이창훈, 이미연, 민상윤(KAIST)
• 메모리 영역 분할을 통한 메모리 갱신 정보 기반 결함 후보 축소 기법 [최우수논문] – 김관효, 최기용, 이정원(아주대)
• IR기반 결함위치추적을 위한 사용정보 영향력 분석 – 안준, 염창선, 김정호, 이은석(성균관대)
• 테스트케이스 재구성을 통한 결함위치식별 성능개선 [최우수논문] – 김정호, 이은석(성균관대)

B1: SW 테스팅 2

• 테스팅 트렌드와 산업계 동향 [후원업체] – 박현우(㈜다한테크)
• 효과적인 웹 애플리케이션 테스팅을 위한DOM 관련 동적 데이터 흐름 분석 방법 – 김지훈, 고인영(KAIST)
• DO-178C 기반 소프트웨어 동적 테스트 방안 [산업체논문] – 윤상은, 이종민, 정영은(TTA)
• 인수 (Acceptance) 테스트 자동화 실무 사례 [산업체논문] – 신현일, 조성민, 최근호(S-Core)
• 입력 커버리지를 활용한 효율적인 동적 기호 실행 탐색 기법 [우수단편논문] – 김윤호, 김문주(KAIST)

B2: SW 아키텍처 2

• 내장형 소프트웨어 안전성 강화를 위한 fault injection testing [후원업체] – 송한규 실장(슈어소프트테크㈜)
• 계층적 구조를 고려한 소프트웨어 아키텍처 편차 측정 [우수단편논문] – 김희주, 이기성, 김준석, 이찬근(중앙대)
• 산업용 로봇 소프트웨어에서 재사용성 확보를 위한 옵저버 패턴 적용 [단편논문] – 하상범, 유철중(전북대)
• 상호 정보량을 이용한 소프트웨어 아키텍처 모듈-뷰 복원 평가 – 허민재, 이찬근(중앙대)
• 클러스터 앙상블을 이용한 소프트웨어 아키텍처 모듈-뷰 복원 – 조충기, 이찬근(중앙대)

B3: 노력 추정 및 도구

• IT 서비스 운영을 위한 SW 개발공수 추정모델 적용사례 [후원업체] – 이창환 팀장(KOSCOM)
• 소프트웨어 코드탐색 다이어그래밍 도구 [후원업체] – 이선아, 정필수(KAIST)
• 온라인 게임 위치 기반 그룹 분류를 통한 봇 탐지 기법에 대한 연구 – 이세희, 김수아, 이지형(성균관대)
• Matlab 기반 차량제어시스템의 측정 데이터 분석 도구의 구현 [산업체논문] – 이창호(현대오트론)
• 카페 좌석 관리 시스템 – 박평우, 임종찬, 노우리, 문은미, 이석원(아주대)

B4: 보안 및 사물인터넷(IoT)

• 블록체인 기반 서비스의 트랜잭션 검증 효율성 개선 방안 [단편논문] – 고동휘, 고덕윤, 이우승, 조수환, 최수진, 이일로, 박수용(서강대)
• 사물 인터넷 환경에서의 그룹 사용자를 위한 그룹 구성 정보 기반 서비스 추천 방법 [최우수논문] – 이진서, 고인영(KAIST)
• 미션-크리티컬 인메모리 DBMS의 결함탐지를 위한 결함주입 테스트 방법 및 도구 [산업체논문] – 서강익, 마영철, 이재회, 이종정, 박준호(ALTIBASE)
• 국내 기업의 SW 개발보안 적용사례 분석 [단편논문] – 박난경, 최진영, 임종인(고려대)
• 사물인터넷 환경에서 지리적 응집도를 고려한 동적 서비스 검색방법 [우수논문] – 백경덕, 김민협, 고인영(KAIST)

C1: 정형 명세

• 분산 이동 실시간 시스템의 이동성 명세와 검증을 위한 시각화 도구 – 최영복, 박현주, 이문근(전북대)
• 위치 기반 서비스에서 이동 경로의 정형 명세 및 모니터링 – 권혁, 권혁주, 권기현(경기대)
• 시스템 오브 시스템즈 목표 검증을 위한 시뮬레이션 사례 연구 [단편논문] – 서동원, 신동환, 박지훈, 지은경, 배두환(KAIST)
• 에어컨 실외기 제품의 소프트웨어 재사용성 향상을 위한 피처 기반 제품라인공학 기술 적용 연구 [산업체논문] – 권혁상(㈜삼성전자), 강성원, 한영훈(KAIST)

C2: SW 아키텍처 3

• 고신뢰성 소프트웨어공학도구 솔루션 SILKROAD [후원업체] – 백가현 연구원(㈜엔에스이)
• A Software Development Framework for Industrial Computer Vision Systems – Mesfin Abebe, Cheol-Jung Yoo(전북대)
• 구문적 노이즈 제거를 이용한 소프트웨어 아키텍처 복원 자동화 프레임워크 [단편논문] – 이기성, 이찬근(중앙대)
• 실시간 연동을 위한 LVC 통합연동시스템 아키텍처 설계 [산업체논문] – 오지현, 김천영, 장영찬, 지철규, 홍영석(국방과학연구소)

C3: SW 프로세스

• 모델 기반 Application Lifecycle Management [후원업체] – 오윤민 이사(㈜이에스지)
• TMMi 관점의 국내 SW 테스트 성숙도 현황 [후원업체] – 윤진우 수석(STA 테스팅컨설팅㈜)
• A Research on the Process towards developing the Framework on Systematic Investigation for Reliability improvement upon Software(SIRIUS) [산업체논문] – 박삼준, 이태호, 백옥현(국방과학연구소), 오정섭, 서달미(㈜NSE)
• 소프트웨어 R&D 프로젝트 검증을 위한 산출물과 활동 – 송상민, Amarmend Dashbalbar, 이병정(서울시립대), 이정원(아주대)

C4: SW 품질

• 한국 자본시장 전산장애 예방을 위한 SW 품질관리 추진사례 [후원업체] – 이치형 부사장(KOSCOM)
• 정적 검증 시각화를 통한 품질 지표 관리 [후원업체] – 차신 센터장(테스트마이다스)
• 국가 사이버안보 역량 강화를 위한 사이버보안 성숙도 모델 설계 [산업체논문] – 이민재(㈜티큐엠에스), 손영동(고려대)
• SPL 기반의 무기체계 SW 통합개발환경 운용 개념 연구 [산업체논문] – 백옥현, 이태호, 박삼준(국방과학연구소)
• 분산시스템에서의 공유자원 가용성을 고려한 실시간 제어방법 연구 [단편논문] – 장부철, 정우진, 송대기, 신진범(국방과학연구소)

D1: SW 검증

• 정형 기법을 이용한 NFV Policy 들의 일치성 검증 [단편논문] – 구근회(고려대), 강미영, 최진영(고품질융합소프트웨어센터), 이승익(ETRI)
• Safety Critical System 에서 요구사항 검증 및 통합 명세화 방법제안 [단편논문] – 임혜선, 이석원(아주대)
• 소프트웨어 연구 문서 산출물의 추적을 위한 연관성 링크 정보 모델 기반 전문가 시스템 설계 – 백두산(아주대), 이병정(서울시립대), 이정원(아주대)
• 위기대응 매뉴얼 신뢰성 향상을 위한 검증방안 연구 [단편논문] – 이 혁, 최진영(고려대)

D2: 요구공학

• 국방 전투관리체계 개발을 위한 상호작용 유즈 케이스 기반 요구사항 모델링 기법 – 김두환, 홍장의(전북대), 김동환(LIGNex1)
• PbD 7 대 기본원칙과 GQM 을 활용한 프라이버시 요구사항 도출 방법론 [단편논문] – 조주혜, 이석원(아주대)
• 지능형 화폐 인식 SW 개발의 Visualization 적용 사례 및 임베디드 SW 개발 조직의 Visualization 적용 로드맵 제안 [산업체논문] – 한동준(소프트웨어 안전성 보증 연구센터), 김은비, 한혁수(상명대), 엄영석, 정대식, 조달호(KISAN)
• 인지적 분석을 통한 임상 의사결정 지원 시스템 인터페이스 설계 [단편논문] – 고동균, 김유찬, 윤완철(KAIST)

D3: 온톨로지 및 서비스

• 혈액종합검사에 특화된 온톨로지 구축: 설계와 활용 – 제현우, 박유경, 홍원의, 이문용(KAIST)
• 사용자의 서비스 사용 성향을 고려한 클라우드 서비스 추천 – 최비오, 박준석, 황제승, 김웅수, 윤동규, 염근혁(부산대)
• 이기종 시맨틱 온톨로지 시스템의 통합 검색 [단편논문] – 황상원, 남영광(연세대)
• 소프트웨어 성능 가시화를 위한 툴 체인 개발 [단편논문] – 강건희, 박보경, 장우성, 황준순, 권하은, 이한솔, 이현준, 김영철(홍익대)

D4: SW 품질 2 및 SE 교육

• PageRank와 토픽 모델링을 이용한 소프트웨어 재사용 도메인 토픽 추출 시스템 개발 – 이용석, 남영광, 황상원(연세대)
• 소프트웨어 개발 프로세스를 대상으로 수행하는 추적성 분석의 세부 관계 정의 [단편논문] – 김재엽, 이동아, 유준범(건국대)
• Legacy 시스템의 안전성 분석기법 및 사례연구 [단편논문] – 김선주, 이석원(아주대)
• 프로젝트 중심 소프트웨어 공학 교육의 성과 분석과 개선 방안 [단편논문] – 최은만, 김하영(동국대)

E1: SW 테스팅 3

• 회귀 시험을 위한 통계적 분석 기반 테스트 항목 우선순위화 기법 [단편논문] – 조영환, 이은석 (성균관대)
• 안전 무결성 기준을 활용한 테스트 케이스 우선순위 [단편논문] – 송옥수, 김보운, 최병주 (이화여대)
• 확장된 라운드 트립 기법을 이용한 발사통제장치 테스트 기법 [단편논문] – 배정호, 안세준, 장부철, 구봉주 (국방과학연구소)
• 안드로이드 어플리케이션 개발 생산성을 위한 권한 자동 검사 기법 [단편논문] – 노승학, 인호(고려대)

E2: 정적 분석

• 안드로이드 이미지 로딩 라이브러리 비기능 품질 속성 비교 – 조성래, 정연철, 민상윤(KAIST)
• 코드마인드: 온더플라이 소스코드 정적분석 도구 [산업체논문] – 신승철, 이욱세, 노상훈, 김제민(코드마인드)
• 유사도 메트릭을 이용한 컴포넌트 상호연관성 추출 [우수단편논문] – 이재권, 김기섭, 정우성(충북대)

E3: SW 융합

• 다양한 이해관계자들 간 정보공유를 위한 산업용 로봇 소프트웨어 설계 기법 [단편논문] – 박진용, 유철중(전북대)
• 스마트 환경에서 디지털 사이니지와 이기종 디바이스간의 상호운용성을 지원하기 위한 메시지 플로팅 시스템 – 차민재, 이동우, 남태우, 염근혁(부산대)
• Automotive 소프트웨어 Security 향상을 위한 Coding Guideline에 대한 연구 – 우중기, 정지현, 민상윤(KAIST)

E4: SW 품질 3

• 소프트웨어 품질관리를 위한 이종 코드 변환 프레임워크 연구 [단편논문] – 손현승, 김영철(홍익대)
• 역공학을 이용한 오픈소스의 소스코드 요구사항 도출 및 Best Practices와의 비교 분석을 통한 소스코드의 품질평가 [단편논문] – 위대한, 이석원(아주대)
• 소프트웨어 프로세스 인증제도의 국방 적용방향 [단편논문] – 김영봉 유천수(한국국방연구원)
• 원자력 계측제어 소프트웨어의 안전성 분석을 위한Safety Case 의 Arguments 개발 절차 [우수단편논문] – 이동아, 유준범(건국대학교), 이장수 (한국원자력연구원)