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