A transformation-based approach to testing concurrent programs using UML activity diagrams. - Sun, Chang‐ai; Zhao, Yan; Pan, Lin; He, Xiao; Towey, Dave (Software: Practice & Experience, 2016)