Jihyeok Park (KAIST), Seungmin An (KAIST), Dongjun Youn (KAIST), Gyeongwon Kim (KAIST), Sukyoung Ryu (KAIST)
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
The 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021)
Efficient SMT-Based Model Checking for Signal Temporal Logic
The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)
Jia Lee (POSTECH), Geunyeol Yu (POSTECH), Kyungmin Bae (POSTECH)
HOTFUZ: cost-effective higher-order mutation-based fault localization
Software Testing, Verification and Reliability, 2021
Jong-In Jang (KAIST), Duksan Ryu (전북대학교), Jongmoon Baik (KAIST)
Ahead of Time Mutation Based Fault Localisation using Statistical Inference
The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021)
Jinhan Kim (KAIST), Gabin An (KAIST), Robert Feldt (Chalmers University of Technology), Shin Yoo (KAIST)
JSTAR: JavaScript Specification Type Analyzer using Refinement
The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)
Jihyeok Park (KAIST), Seungmin An (KAIST), Shin Wonho (KAIST), Yusung Sim (KAIST), Sukyoung Ryu (KAIST)
Observation-based approximate dependency modeling and its use for program slicing
Journal of Systems and Software
Seongmin Lee (Loyola University), David Binkley (Loyola University), Robert Feldt (Chalmers University of Technology), Nicolas Gold (University College London), Shin Yoo (KAIST)
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters
The 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022)
Sooyoung Cha (고려대학교), Myungho Lee (고려대학교), Seokhyun Lee (고려대학교), Hakjoo Oh (고려대학교)
NPEX: Repairing Java Null Pointer Exceptions without Tests
The 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022)
Junhee Lee (고려대학교), Seongjoon Hong (고려대학교), Hakjoo Oh (고려대학교)
) - 프로필 - 내 프로필 편집 선택
)클릭