# Broad Input Exploration

> The ability to exercise a function across a wide, generated range of inputs.

Record: `lexicon:broad-input-exploration`
Kind: capability
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-broad-input-exploration

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Behavior Validation](https://banes-lab.com/records/lexicon/behavior-validation.md) and before [Mathematical Assurance](https://banes-lab.com/records/lexicon/mathematical-assurance.md).

## Category

- [Correctness / Determinism / Verification](https://banes-lab.com/records/lexicon-category/correctness-determinism-verification.md)

## Enabled by

- [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md)

## Linked from

- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)