Xu, Dianxiang, Weifeng Xu, and Eric Wong. 2009. “Automated Test Code Generation from Class State Models”. International Journal of Software Engineering and Knowledge Engineering 19 (04): 599-623.