For you who have made testing with KLEE, have you ever compared KLEE+STP with KLEE+Z3? Can you please share your research result, is it true that Z3 more effective to trace the path on program?
Thankyou
For you who have made testing with KLEE, have you ever compared KLEE+STP with KLEE+Z3? Can you please share your research result, is it true that Z3 more effective to trace the path on program?
Thankyou
Aucun commentaire:
Enregistrer un commentaire