@INPROCEEDINGS{,
author = {P. L. Gall and B. Marre and N. Willams and P. Mouy},
booktitle = {2008 1st International Conference on Software Testing, Verification, and Validation(ICST)},
title = {Generation of All-Paths Unit Test with Function Calls},
year = {2008},
volume = {00},
number = {},
pages = {32-41},
keywords={unit test; structural testing; all-paths unit test; automatic generation; constraint solving; unit test with function calls; testing C programs},
doi = {10.1109/ICST.2008.35},
url = {doi.ieeecomputersociety.org/10.1109/ICST.2008.35},
ISSN = {},
month={04}
}