정보보호대학원소식

소프트웨어 공학 분야 세계 최고 학회인 ACM/IEEE ICSE 2019에 KAIST 전산학부 소속 논문 네 편 채택
작성일2018-12-14

소프트웨어(SW) 공학 분야 최고 권위의 학회로 꼽히는 ACM/IEEE ICSE 2019(https://conf.researchr.org/home/icse-2019)에 KAIST 전산학부 소속 논문이 네 편 채택되었다.

"Towards Understanding and Reasoning about Android Interoperations”
(KAIST 전산학부 박사과정 배소라, 이성호 학생과 류석영 교수)
https://2019.icse-conferences.org/event/icse-2019-technical-papers-towards-understanding-and-reasoning-about-android-interoperations

"Resource-aware Program Analysis via Online Abstraction Coarsening”
(양홍석 교수, 펜실페니아 대학 허기홍 박사와 고려대학교 오학주 교수)
https://2019.icse-conferences.org/event/icse-2019-technical-papers-resource-aware-program-analysis-via-online-abstraction-coarsening

"Guiding Deep Learning System Testing using Surprise Adequacy”
(KAIST 전산학부 박사과정 김진한 학생과 유신 교수가 챌머스 대학교 Robert Feldt 교수)
https://2019.icse-conferences.org/event/icse-2019-technical-papers-guiding-deep-learning-system-testing-using-surprise-adequacy

"Grey-box Concolic Testing on Binary Code”
(KAIST 정보보호대학원 박사과정 최재승 학생과 차상길 교수, 삼성전자 장준언, 네이버 한충우 공동저자)
https://2019.icse-conferences.org/event/icse-2019-technical-papers-grey-box-concolic-testing-on-binary-code