concolic
concolic adjective: having elements of both concrete (normal) and symbolic processing.
Adjective
concolic (not comparable)
- Having elements of both concrete (normal) and symbolic processing.
- 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.2015, Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger, “Abstraction-driven Concolic Testing”, in arXiv
Origin of concolic
Blend of concrete + symbolic.
Questions about concolic
- What does concolic mean?
- Concolic means having elements of both concrete (normal) and symbolic processing.
- What part of speech is concolic?
- Concolic is an adjective.
Words near concolic in the dictionary
Source and license
Adapted from Wiktionary: concolic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “concolic.” Word.ws, https://word.ws/concolic. Based on Wiktionary, CC BY-SA 4.0.
