17 research outputs found
Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs
No full text
DD-PCR analysis of stage-specific gene expression of larvae and adults of Spirometra erinacei
No full text학위논문(석사)--서울대학교 대학원 :의학과 기생충학전공,2005.Maste
Detection of Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.
No full text
