What is the best technique of symbolic execution? Would you please help me to find pure symbolic execution and pure concolic testing tool (I mean, e.g. it is not including model checking,etc.) with its source?
Aucun commentaire:
Enregistrer un commentaire