A transformation-based approach to testing concurrent programs using UML activity diagrams

Chang-ai Sun, Yan Zhao, Lin Pan, Xiao He, Dave Towey. A transformation-based approach to testing concurrent programs using UML activity diagrams. Software: Practice and Experience, 46(4):551-576, 2016. [doi]

Abstract

Abstract is missing.