In order to generate verification and test-case generation what is the difference between using symbolic execution
and genetic algorithm
? I heard genetic algorithm implementation is easier than symbolic execution, Is it true? What is the advantage of implementing symbolic execution rather than genetic algorithm?
Aucun commentaire:
Enregistrer un commentaire