Testing of Timer Function Blocks in FBD. - Eunkyoung Jee; Seungjae Jeon; Hojung Bang; Sung Deok Cha; Junbeom Yoo; Gee-Yong Park; Kee-Choon Kwon (APSEC, 2006)

An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. - Hojung Bang; Tai Hyo Kim; Sung Deok Cha (ISORC, 2007)

Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time. - Jong-In Lee; Hojung Bang; Tai Hyo Kim; Sung Deok Cha (IEICE Trans. Inf. Syst., 2009)

A systematic representation of path constraints for implicit path enumeration technique. - Tai Hyo Kim; Hojung Bang; Sung Deok Cha (Softw. Test. Verification Reliab., 2010)