Salman, Yasir Dawood and Hashim, Nor Laily (2015) Automatic test case generation from UML state chart diagram: A survey. In: Advanced Computer and Communication Engineering Technology. Springer International Publishing, pp. 123-134. ISBN 978-3-319-24582-9