On the Long-Term Predictive Capability of Data-Driven Software Reliability Model: An Empirical Evaluation. - Jinhee Park; Nakwon Lee; Jongmoon Baik (ISSRE, 2014)

Directed Model Checking for Fast Abstract Reachability Analysis. - Nakwon Lee; Yunho Kim; Moonzoo Kim; Duksan Ryu; Jongmoon Baik (IEEE Access, 2021)