An automatic generator of basic unit tests for a C/C++ library
A tool for checking backward API/ABI compatibility of a Java library