Sun, Chang-ai, Zhao, Yan, Pan, Lin, He, Xiao, Towey, Dave, "A transformation-based approach to testing concurrent programs using UML activity diagrams", Software: Practice and Experience, 2016