An Automated Test Case Generation Approach based on Activity Diagrams of SysML. - Yufei Yin; Yiqun Xu; Weikai Miao; Yixiang Chen (International Journal of Performability Engineering, 2017)