CNF normal form
ConceptIn the provided evidence, CNF normal form appears as a “CNF-like normal form” used in a test-generation workflow. This form is associated with partitioning an input/output relation before test data are selected using random generation and the Z3 SMT solver.
First seen 5/25/2026
Last seen 5/25/2026
Evidence 1 chunks
Wiki v1
WIKI
Overview
The provided source describes a CNF-like normal form as part of a test-generation process. In that process, the normal form “leads to partitioning of the input/output relation.” The evidence does not define CNF syntactically; it only establishes its role as an intermediate, partitioning-oriented representation in the described workflow.
Role in the workflow
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →LINKED ENTITIES
1 linksCITATIONS
3 sources3 citations — click to collapse
[1] The evidence describes a CNF-like normal form that leads to partitioning of the input/output relation. Test Program Generation for a Microprocessor: A Case Study
[2] After partitioning, the test data selection phase uses constraint solvers, random test generation, and the integrated SMT solver Z3 to construct an instance for each partition. Test Program Generation for a Microprocessor: A Case Study
[3] The test execution phase converts instantiated test cases, or test oracles, into test driver code that is run against the system under test. Test Program Generation for a Microprocessor: A Case Study