8Hong H S,Kim Y K,Cha S D et al.A test sequence selectionmethod for reactive systems using statecharts. Software TestingVerification and Reliability . 2010
9AOffutt,A.Abdurazik.Generating Tests from UMLspecifications. Proc.2nd Intl.Conf.on the Unified ModelingLanguage . 2009