Proposal of a Method to Support Testing for Java Programs with UML. - Tetsuro Katayama; Yusuke Yabuya (APSEC, 2005)