有些事如何做: Should we run bytecode for dynamic symbolic execution like concolic testing? And Why?

I want to do concolic testing for a programming language like C. But, I do not know choose source code or bytecode for testing. I have read somewhere that for dynamic testing we should run bytecode. Is it correct? If so, why should we run bytecode for this kind of testing? I appreciate if someone help me.