Black-box code analysis for reverse engineering through constraint acquisition and program synthesis
Informations
Grégoire MENGUY sous la direction de Nadjib LAZAAR (LIRMM), Sébastien Bardin (CEA-Paris-Saclay), Arnaud Gotlieb (SIMULA Oslo) soutenue le 14/03/2023