concolic

C3O1N1C3O1L1I1C3

adjective

Having elements of both concrete (normal) and symbolic processing.

Scrabble 14

Meanings

adjectiveconcolic (not comparable)
  1. 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
APA

concolic. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/concolic

MLA

“concolic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/concolic. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “concolic,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/concolic.

Source: concolic on Wiktionary, CC BY-SA 4.0.