P. L. Gall, B. Marre, N. Willams and P. Mouy, "Generation of All-Paths Unit Test with Function Calls," 2008 1st International Conference on Software Testing, Verification, and Validation(ICST), vol. 00, no. , pp. 32-41, 2008.
keywords:{unit test; structural testing; all-paths unit test; automatic generation; constraint solving; unit test with function calls; testing C programs},