Definition of Concolic. Meaning of Concolic. Synonyms of Concolic

Here you will find one or more explanations in English for the word Concolic. Also in the bottom left of the page several parts of wikipedia pages related to the word Concolic and, of course, Concolic synonyms and on the right images related to the word Concolic.

Definition of Concolic

No result for Concolic. Showing similar results...

Meaning of Concolic from wikipedia

- Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs...
- guide input generation. Dynamic symbolic execution (also known as DSE or concolic execution) involves executing a test program on a concrete input, collecting...
- Symbolic execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic execution Fuzzing Invariant inference Program slicing Testing...
- Symbolic execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic execution Fuzzing Invariant inference Program slicing Testing...
- systematically explore different paths in the program (a technique known as concolic execution). If the program's specification is available, a whitebox fuzzer...
- Symbolic execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic execution Fuzzing Invariant inference Program slicing Testing...
- Symbolic execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic execution Fuzzing Invariant inference Program slicing Testing...
- system. Abstract interpretation Symbolic simulation Symbolic com****tion Concolic testing Control-flow graph Dynamic recompilation Anand, Saswat; Patrice...
- Symbolic execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic execution Fuzzing Invariant inference Program slicing Testing...
- Symbolic execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic execution Fuzzing Invariant inference Program slicing Testing...