Approche concolique pour la génération de tests ... - Sébastien Bardin

Un test issu du code source est le plus souvent un test structurel, puisque la création du cas de test se fait sur la base des chemins d'exécution associés au code (ou d'autres éléments structurels, comme le fait de chercher à atteindre une instruction particulière dans un état-mémoire donné). On associe généralement le test.


Un extrait du document