Stefania Gnesi Diego Latella Mieke Massink Formal Test-Case Generation for UML Statecharts. 75-84 2004 conf/iceccs/2004 ICECCS http://csdl.computer.org/comp/proceedings/iceccs/2004/2109/00/21090075abs.htm db/conf/iceccs/iceccs2004.html#GnesiLM04