Automated support for deriving test requirements from UML statecharts. - Briand, L. C.; Labiche, Y.; Cui, J. (Software & Systems Modeling, 2005)