Efficient test case generation for validation of UML activity diagrams

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita. Efficient test case generation for validation of UML activity diagrams. Design Autom. for Emb. Sys., 14(2):105-130, 2010. [doi]

Abstract

Abstract is missing.