1. CLANG http://clang.llvm.org/. CLANG http://clang.llvm.org/.
2. CUDD
: CU Decision Diagram Package http://vlsi.colorado.edu/~fabio/CUDD/. CUDD: CU Decision Diagram Package http://vlsi.colorado.edu/~fabio/CUDD/.
3. Free Software Foundation Inc. How to Minimize Test Cases for Bugs https://gcc.gnu.org/bugs/minimize.html. Free Software Foundation Inc. How to Minimize Test Cases for Bugs https://gcc.gnu.org/bugs/minimize.html.
4. googletest - Google C++ Testing Framework http://code.google.com/p/googletest/. googletest - Google C++ Testing Framework http://code.google.com/p/googletest/.
5. How SQLite Is Tested http://www.sqlite.org/testing.html. How SQLite Is Tested http://www.sqlite.org/testing.html.