Package dynamique
Le réel packaging dynamique exige la recombinaison automatisée de composants de voyage basée sur l'inclusion de règles qui dictent non seulement le contenu du package, mais aussi de règles de tarification conditionnelles basées sur diverses conditions telles que le profil de l’utilisateur et/ou du client, les caractéristiques du voyage, le canal de distribution et les conditions générales de vente.
Analyse dynamique de programmes
En entrant dans le codice_5 la condition codice_6 n'est pas validé, seulement grâce à l'exécution symbolique, il est possible de déterminer que si codice_7 avait été égal à 10 alors le programme aurait emprunté l'autre branche du code. C'est de cette manière que le "fuzzer" va sélectionner des valeurs propices pour entrer dans toutes les branches du programme. Cela permet de faire apparaître des bogues plus rapidement et plus complexes.