iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://en.m.wiktionary.org/wiki/concolic
concolic - Wiktionary, the free dictionary
Wiktionary

concolic

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"