Showing results 1 to 2 of 2
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Kim, Moonzoo; Hong, Shin; Hong, Changki; Kim, Taeho, Model-based Testing (ENTCS), pp.21 - 36, Model-based Testing (ENTCS), 2009-05-22 |
Scalable boolean simulation methods for dynamical biological systems = 생체시스템의 동역학 분석을 위한 효율적인 이진 시뮬레이션 기법 연구link Hong, Changki; 홍창기; et al, 한국과학기술원, 2017 |
Discover