Lun, L.; Wang, S.; Chi, X.; Xu, H. Automatic Generation of Basis Component Path Coverage for Software Architecture Testing. Comput. Inform. 2017, 36, 386-404.