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.
Source: wiktionary
Concolic
Synonyms for "concolic"
Ranked by relevance and common usage.
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
Sample sentences
1 total sentences available.
Keep exploring
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.