L. Lun, S. Wang, X. Chi, and H. Xu, “Automatic Generation of Basis Component Path Coverage for Software Architecture Testing”, Comput. Inform., vol. 36, no. 2, pp. 386–404, Jun. 2017.