random test generation
ConceptRandom test generation is described in the provided evidence as a component of a test data selection phase, where it is combined with constraint solving and the Z3 SMT solver to instantiate test cases for partitions of an input/output relation.
First seen 5/25/2026
Last seen 5/26/2026
Evidence 2 chunks
Wiki v1
WIKI
Overview
In the provided evidence, random test generation appears as part of a test data selection workflow. After an input/output relation has been partitioned using a CNF-like normal form, the test data selection phase uses a combination of constraint solvers, random test generation, and the integrated SMT solver Z3 to construct an instance for each partition. [test-data-selection]
Role in the test-generation pipeline
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsHOL-TestGen uses random test generation as part of test data selection.