concolic

形容词 adj.

英文释义

形容词 adj.
  1. Having elements of both concrete (normal) and symbolic processing. not-comparable
    — 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.

词源

Blend of concrete + symbolic.
0 次浏览 数据来源: Wiktionary