1. McCabe, T., Thomas, J.: Structural testing: a software testing methodology using the cyclomatic complexity metric. NIST Special Publication 500–99, Washington, D.C. (1982)
2. Bertolino, A., Marre, M.: Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Softw. Eng. 20(12), 885–899 (1994)
3. Guangmei, Z., Rui, C., Xiaowei, L., Congying, H.: The automatic generation of basis set of path for path testing. In: Proceedings of the 14th Asian Test Symposium (ATS’05) (2005)
4. Marre, M., Bertolino, A.: Using spanning sets for coverage testing. IEEE Trans. Softw. Eng. 29(11), 974–984 (1993)
5. Gupta, R., Soffa, M.L.: Employing static information in the generation of test cases. Softw. Test. Verification Reliab. 3(1), 29–48 (1993)