concolic

English

Etymology

Blend of concrete +‎ symbolic

Adjective

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.