1. A transformation‐based approach to testing concurrent programs using UML activity diagrams‡. (14th April 2015) Authors: Sun, Chang‐ai; Zhao, Yan; Pan, Lin; He, Xiao; Towey, Dave Journal: Software, practice & experience Issue: Volume 46:Number 4(2016) Page Start: 551 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗