CNF Testing Cookbook