英和和英

形容詞

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‎:

     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.