concolic

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

Blend of concrete +‎ symbolic

Adjective[edit]

concolic (not comparable)

  1. (computing) Having elements of both concrete (normal) and symbolic processing
    • 2015, Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger, “Abstraction-driven Concolic Testing”, in arXiv‎[1]:
      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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=concolic&oldid=75722822"