Test Cases Generation from UML Activity Diagrams. - Hyungchoul Kim; Sungwon Kang; Jongmoon Baik; In-Young Ko (SNPD (3), 2007)