software testing; Boolean expressions; software specifications; test case generation