Meanings
- not comparablecomputingHaving elements of both concrete (normal) and symbolic processing.
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.
2015, Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger, “Abstraction-driven Concolic Testing”, in arXiv
Origin
Cite this entry
concolic. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/concolic
“concolic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/concolic. Accessed November 2, 2026.
WatkinsX Dictionary, s.v. “concolic,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/concolic.
Source: concolic on Wiktionary, CC BY-SA 4.0.