Concolic
adj
adj ·Rare ·Advanced level
Definitions
Adjective
- 1 Having elements of both concrete (normal) and symbolic processing. not-comparable
"If concolic testing fails to cover some test goals, then the model checker refines its program abstraction to prove more paths infeasible, which reduces the search space for concolic testing."
Example
More examples"If concolic testing fails to cover some test goals, then the model checker refines its program abstraction to prove more paths infeasible, which reduces the search space for concolic testing."
Etymology
Blend of concrete + symbolic.
More for "concolic"
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.