SCI학술지

Deheng Yang, Kui Liu, Dongsun Kim, Anil Koyuncu, Kisub Kim, Haoye Tian, Yan Lei, Xiaoguang Mao, Jacques Klein, Tegawendé F. Bissyandé
"Where were the repair ingredients for Defects4j bugs Exploring the impact of repair ingredient retrievalon the performance of 24 program repair systems"

Byungchul Tak, Chunqiang Tang, Rong N. Chang, Euiseong Seo
"Block-Level Storage Caching for Hypervisor-Based Cloud Nodes"

Kyungmin Bae, Peter Csaba Ölveczky
"MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems"

Yunho Kim, Shin Hong
"Learning-based mutant reduction using fine-grained mutation operators"

Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik
"Directed Model Checking for Fast Abstract Recahbility Analysis"

Seonhyong Kim, Irshad Khan, Seonhwa Choi, Young-Woo Kwon
"Earthquake Alert Device Using a Low-Cost Accelerometer and Its Services"

Mojgan Kouhounestani, Woosuk Lee
"Datalog Static Analysis in Secrecy"

Jooyong Yi, Elkhan Ismayilzada
"Speeding up constraint-based program repair using a search-based technique"

Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
"Verifix: Verified Repair of Programming Assignments " (accepted)

Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
"Modeling and Formal Analysis of Virtually Synchronous Cyber-Physical Systems in AADL" (accepted)

Kisub Kim, Sankalp Ghatpande, Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F.Bissyandé, Jacques Klein, Yves Le Traon
"DigBug—Pre/post-processing operator selection for accurate bug localization"

Jinhan Kim, Juyoung Jeon, Shin Hong, Shin Yoo
"Predictive Mutation Analysis via Natural Language Channel in Source Code" (accepted)