New posts in Symbolic Execution

symbolic execution and model-checking

In concolic testing, what does "concrete execution" mean?