자신의 신분에 맞는 로그인화면을 선택하세요.
닫기

소프트웨어재난연구센터

사회적 피해를 유발하는 소프트웨어 재난에 대한 탐지, 대응, 재발 방지를 목표로 한다.

SCI학술지

  • 1
    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"
    Empirical Software Engineering, 2021
  • 2
    Byungchul Tak, Chunqiang Tang, Rong N. Chang, Euiseong Seo
    "Block-Level Storage Caching for Hypervisor-Based Cloud Nodes"
    IEEE Access, 2021
  • 3
    Kyungmin Bae, Peter Csaba Ölveczky
    "MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems"
    ACM Transactions on Embedded Computing Systems, 2021
  • 4
    Yunho Kim, Shin Hong
    "Learning-based mutant reduction using fine-grained mutation operators"
    Software Testing Verification and Reliability (STVR), 2021
  • 5
    Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik
    "Directed Model Checking for Fast Abstract Recahbility Analysis"
    IEEE Access, 2021
  • 6
    Seonhyong Kim, Irshad Khan, Seonhwa Choi, Young-Woo Kwon
    "Earthquake Alert Device Using a Low-Cost Accelerometer and Its Services"
    IEEE Access, 2021
  • 7
    Mojgan Kouhounestani, Woosuk Lee
    "Datalog Static Analysis in Secrecy"
    IEEE Access, 2022
  • 8
    Jooyong Yi, Elkhan Ismayilzada
    "Speeding up constraint-based program repair using a search-based technique"
    Information and Software Technology, 2022
  • 9
    Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
    "Verifix: Verified Repair of Programming Assignments " (accepted)
    ACM Transactions on Software Engineering and Methodology, 2022
  • 10
    Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
    "Modeling and Formal Analysis of Virtually Synchronous Cyber-Physical Systems in AADL" (accepted)
    International Journal on Software Tools for Technology Transfer, 2022
  • 11
    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"
    Journal of Systems and Software, 2022
  • 12
    Jinhan Kim, Juyoung Jeon, Shin Hong, Shin Yoo
    "Predictive Mutation Analysis via Natural Language Channel in Source Code" (accepted)
    ACM Transactions on Software Engineering and Methodology (TOSEM), 2022