TY - Int J Performability Eng A1 - Yufei Yin, Yiqun Xu, Weikai Miao, and Yixiang Chen T1 - An Automated Test Case Generation Approach based on Activity Diagrams of SysML Y1 - 2017-10-01 JF - International Journal of Performability Engineering JO - Int J Performability Eng SP - 922 EP - 936 VL - 13 IS - 6 UR - https://www.ijpe-online.com N1 - 10.23940/ijpe.17.06.p13.922936 ER -