Contextualizebeta

concolic

adj

Etymology

Blend of concrete + symbolic.

  1. derived from σύμβολον
  2. derived from symbolus
  3. derived from symbole
  4. formed as symbolic — “symbol + -ic”
  5. compounded as concolic — “concrete + symbolic”

Definitions

  1. Having 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.

The neighborhood

Vish — recursive loop

No curated loop yet for concolic. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA