ICSE2017_trip

Similar documents
ÆÞ¹÷-Æîħ¸é.PDF

5 291

!

레이아웃 1

ICSE 2017 Buenos Aires, Argentina ~ Myungho Lee Programming Research Lab Korea University

ITFGc03ÖÁ¾š

텀블러514

2014밝고고운동요부르기-수정3

2005프로그램표지

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for

750 1,500 35

2015년9월도서관웹용

»êÇÐ-150È£

ASE 2018 Sooyoung Cha Korea University 2018 September


¿©¼ºÀαÇ24È£

할렐루야10월호.ps, page Normalize ( 할 437호 )

ÁÖº¸

No ~ 영화진흥위원회와 씨네21이 만드는 새로운 영화잡지 매월 2, 4주 발행 난 다른 영화 본다! <이리> <가벼운 잠> <부에노스아이레스 탱고카페> <러블리 로즈> <컨트롤> <하늘을 걷는 소년> <슬리핑 뷰티> <피아노의

ÀÛ¾÷

쌍백합23호3

<34BFF9C8A320B4DCB8E9B0EDC7D8BBF32E706466>

untitled

178È£pdf

2002년 2학기 자료구조

인도 웹해킹 TCP/80 apache_struts2_remote_exec-4(cve ) 인도 웹해킹 TCP/80 apache_struts2_remote_exec-4(cve ) 183.8

DIY 챗봇 - LangCon

ps

Microsoft PowerPoint - AC3.pptx

HTML5

intro

SIGIL 완벽입문


저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할

** ¿ùÈ£

특집-5

歯3-한국.PDF

5월전체 :7 PM 페이지14 NO.3 Acrobat PDFWriter 제 40회 발명의날 기념식 격려사 존경하는 발명인 여러분! 연구개발의 효율성을 높이고 중복투자도 방지할 것입니다. 우리는 지금 거센 도전에 직면해 있습니다. 뿐만 아니라 전국 26


中国网络游戏市场回顾和展望

1111

제4395호 편집.hwp

. 1, 3,,., ICT(),,.. 2 3,.. Player (, ) IT,. 3,...,.

00Àâ¹°

00Àâ¹°

kokkos0910수정용

현안과과제_8.14 임시공휴일 지정의 경제적 파급 영향_ hwp


Best of the Best Benchmark Adobe Digital Index | APAC | 2015

쓰리 핸드(삼침) 요일 및 2405 요일 시간, 및 요일 설정 1. 용두를 2의 위치로 당기고 반시계방향으로 돌려 전날로 를 설정합니다. 2. 용두를 시계방향으로 돌려 전날로 요일을 설정합니다. 3. 용두를 3의 위치로 당기고 오늘 와 요일이 표시될 때까지 시계방향으로

ÀÌÁÖÈñ.hwp


Ver. DS-2012.T3.DWS.STR-1.0 System Test Report for Digital Watch System Test Cases Specification Test Summary Report Project Team 이동아 Latest update on

61..

(연합뉴스) 마이더스

2014학년도 수시 면접 문항

Analyses the Contents of Points per a Game and the Difference among Weight Categories after the Revision of Greco-Roman Style Wrestling Rules Han-bong

untitled


Contents / 3 / 4 / 5 / 6 / 6 / 8 / 8 / 10 / 10 / 11 / 12 / 12 / 12 2

chap 5: Trees

Microsoft PowerPoint - PL_03-04.pptx

Slide 1

어린이 비만예방 동화 연극놀이 글 김은재 그림 이 석

국가별 한류현황_표지_세네카포함

1

Ver. T3_DWS.UTP-1.0 Unit Testing Plan for Digital Watch System Test Plan Test Design Specification Test Cases Specification Date Team Infor

CloudService_ÃÖÁ¾

152*220

wtu05_ÃÖÁ¾

HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M.

백서2011표지


2015현엘 내지.indd

서울서베이국제컨퍼런스 Seoul Survey International Conference The Quality of life in Mega City and Happiness of Seoul 메가시티의삶의질과행복서울

¼øâÁö¿ª°úÇÐÀÚ¿ø

歯DCS.PDF

12 December 소비자의날안전점검의날 (273 차 ) 무역의날 대설 ( 大雪 )

coverbacktong최종spread

hwp

Journal of Educational Innovation Research 2019, Vol. 29, No. 1, pp DOI: (LiD) - - * Way to

Interstage5 SOAP서비스 설정 가이드

....pdf..

hwp

Microsoft PowerPoint - 2.Catalyst Switch Intrastructure Protection_이충용_V1 0.ppt [호환 모드]

Intro to Servlet, EJB, JSP, WS

자연언어처리

Microsoft Word - [TP_3][T1]UTP.docx

985-2.pdf

ƯÁý2-~27pš

ÁÖº¸

화판_미용성형시술 정보집.0305

1

2저널(2월호)0327.ok :40 PM 페이지23 서 품질에 혼을 담아 최고의 명품발전소 건설에 최선을 다 하겠다고 다짐하였다. 또한 질의응답 시간에 여수화력 직 DK 한국동서발전 대한민국 동반성장의 새 길을 열다 원들이 효율개선, 정비편의성 향상,

Microsoft PowerPoint 세션.ppt

목 차 1. 출장개요 03 가. 출장계획 03 나. 출장자별분장 05 다. 방문기관정보 06 라. 면담및견학일정 07 마. 면담자기념품 출장일정 09 가. 요약 09 나. 상세 출장보고 16 가. Vancouver Public Library, Ce

04_11sep_world02.hwp

Chapter Chapter

CC hwp

ÆÊÇ÷¿

Transcription:

ICSE 2017 부에노스아이레스, 아르헨티나 홍성준 1. 개요 소프트웨어 공학 분야에서 가장 명성이 높은 학회 중 하나인 ICSE에 다녀왔습니다. 이번 ICSE는 아르헨티나의 수도인 부에노스아이레스에서 개최되었는데, 살면서 한 번 작정하지 않고는 가기 힘 든 나라라는 점과 제 생의 첫 학회 참석이자 첫 해외 여행이였기 때문에, 왕복 50시간이 넘는 긴 비 행시간도 마냥 기대되기만 했습니다. ICSE는 3일 내내 프레젠테이션에서만 6개의 세션이 동시에 열릴 정도로 규모가 굉장히 큰 학회였 습니다. 특히 첫 날 개회식에서는 우리나라의 미래부 장관쯤 되는 아르헨티나 관리가 와서 연설을 했습니다. 여느 다른 학회도 마찬가지이겠지만, 각 세션이 끝나면 100명이 넘는 사람들이 홀을 꽉 채우고 끊임없이 떠들어댔습니다. 저는 아는 사람도 없고 딱히 공유할 만한 대화거리도 없어서 괜!1

!2

탱고 세션 학회 첫 날 reception에서 탱고 공연이 열렸습니다. 재미있는 점은 탱고 공연이 끝나고 직접 탱고 를 배울 수 있는 세션이 있었습니다. 배움의 길을 걷는 사람들이라 그런지 너도나도 탱고 배우기에 열중했습니다. 카이스트 사람들 류석영 교수님 연구실 학생이 데모 세션에서 자바스크립트 정적분석기인 SAFE 2.0을 발표했습니 다. 류 교수님도 뵙고 인사를 드렸습니다. 이번에 김문주 교수님 연구실의 김윤호 박사님이 학회에 오셨다고 했습니다. concolic testing 연 구를 할 때, 김윤호 박사님의 자료와 벤치마크를 참조했었습니다. Concolic testing에 대해 이것 저것 여쭤보려고 했는데 아쉽게도 뵙지 못했습니다. 아마 일면식도 없어서 마주치고도 지나쳤을지 도 모르겠습니다. 음식 학회는 쉐라톤 부에노스아이레스 호텔에서 열렸는데, 호텔 음식이라 그런지 제법 퀄리티가 있었습 니다. 음식은 뷔페식으로 제공되며 서서 먹었습니다. 웨이터가 돌아다니면서 음료를 주거나 접시 를 수거해갔습니다.!3

TRAVIOLI: A Dynamic Analysis for Detecting Data-Structure Traversals Concolic testing Koushik Sen. linked-list tree data structure traverse operation, traversal operation. traversal, event. recursion,.. SPAIN: Security Patch Analysis for Binaries - Towards Understanding the Pain and Pills security patch.. program security,, n-day attack 1 Decoding the representation of code in the brain: An fmri study of code review and expertise by Benjamin Floyd, Tyler Santander and Westley Weime!4

..,.,.,.,,.,..,. Fu Song,.,. Learning to Prioritize Test Programs for Compiler Testing High Confidence Software Technologies, LeakFix.. CSmith, CSmith.. ( ) feature, labeling offline learning. widening threshold, selective unsoundness.. CSmith buggy-case,.,. feature. concolic testing. A Survey on Metamorphic Testing Journal-First paper, ICSE. Software testing, test-oracle.!5

., sine,. sine sin(x) = sin(pi - x), sin. input input, metamorphic relation. source destination shortest path, source destination output path. differential testing, fail. Differential testing metamorphic testing.,. introduction example.!6

! <트레일 위에서>! <이과수 폭포>!7

! <이과수 스테이크> 저녁이 되어서 돌아오는 길에는 이과수 공항의 까페 겸 음식점에서 스테이크를 사먹었습니다. 옆 의 방울 토마토를 보면 알겠지만 엄청 신경써서 만든 요리는 아니었던 것 같았는데, 이틀 정도의 비행 이후에 먹는 제대로된 첫 끼여서 매우 맛있었습니다. 가격은 만 원 언저리 였던 것 같습니다. 2) 산 마르틴 광장 호텔에서 학회장까지 가는 길목에 있던 공원입니다. 산 마르틴은 아르헨티나에서 태어나 페루와 칠레를 에스파냐로부터 독 립시킨 장군인데, 이순신 장군과 같이 아 르헨티나의 국민 영웅으로 추앙받는 인물 입니다. 사진의 동상은 그를 기리는 동상 인데, 동상이 고퀄리티라 햇빛을 받은 모 습이 멋졌습니다. 부에노스아이레스는 도시 곳곳에 꽤 넓은 공원이 많았는데, 나무의 크기도 굉장히 크고 잘 가꿔진 느낌이었습니다. 아마 유럽 의 지배에 있을 때 영향을 많이 받은 것 같습니다.!8

! <산 마르틴 광장의 나무> 3) 대통령 궁 금요일에는 아침 일찍 일어나서 학회 오전 세션이 시작하기 전에 짬을 내어 대통령 궁을 다녀왔습 니다. 마침 당일이 아르헨티나 혁명 기념일이어서, 대통령 궁 근처 광장에서 행사가 있었습니다.! <대통령 궁 앞에서>!9

우리나라의 광복절 쯤 되는 행사인 것 같았는데, 꽤 큰 국경일임에도 차분하게 진행되었습니다. 대 대통령 내외, 국회의원 및 장관들은 사진의 오른쪽 성당안에서 행사에 참석했습니다. 아르헨티나 의 독립을 기념하는 리본을 들고다니는 어떤 누나가 리본을 가져가라갈래, 처음엔 잡상인인 줄 알 고 무시하다가 it s free 라길래 냉큼 받아서 가슴팍에 달았습니다. 위의 성당 사진은 토요일 저녁에 찍었는데, 전날 독립기념일 행사 때문에 들어가보지 못해 아쉬워 서 떠나는 비행기를 타기 전 부에노스아이레스에서의 여정의 마지막에 잠시 들렀습니다. 성당 내 부는 굉장히 조용하고 엄숙했습니다. 4. 마치며 최고 퀄리티의 학회 분위기를 체험할 수 있는 좋은 기회였습니다. 개인적으로도 이전에 겪지 못했 었던 다양한 경험을 할 수 있었던 여행이었던 것 같습니다. 특히 내 나이 또래의 중국계 학생들이 ICSE에서 유창한 영어로 발표하는 모습은 질투심도 나고 큰 자극이 되었습니다. 마지막으로, 좋은 경험을 할 수 있게 지원해주신 오학주 교수님께 감사드립니다. 다음 학회는 좋은 연구로 발표자로서 참석할 수 있도록 노력하겠습니다.!10