mardi 2 mars 2021

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 testing we should run bytecode. Is it correct? If so, why should we run bytecode for testing? I appreciate if someone help me.

Aucun commentaire:

Enregistrer un commentaire