An automatic generator of basic unit tests for a C/C++ library