Identifiant pérenne de la notice : 26989070X
Notice de type
Personne
Black-box code analysis for reverse engineering through constraint acquisition and
program synthesis / Grégoire Menguy ; sous la direction de Julien Signoles ; sous
le co-encadrement de Sébastien Bardin et Nadjib Lazaar. Thèse de doctorat : Informatique
: université Paris-Saclay : 2023