Informations générales
Entité de rattachement
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.
Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
Référence
SL-DRT-24-0106
Direction
DRT
Description du sujet de thèse
Domaine
Défis technologiques
Sujets de thèse
Guidage astucieux des outils de géneration de tests
Contrat
Thèse
Description de l'offre
Le fuzzing est une technique de génération de tests automatisée. Il consiste en une exécution répétée d'un programme avec des entrées générées automatiquement, afin de déclencher des plantages, symptômes de bugs sous-jacents au niveau du code, qui peuvent ensuite être corrigés. Un défi majeur dans ce domaine consiste à passer d’une exploration indistincte du fonctionnement des programmes à un guidage astucieux vers la découverte de bugs importants. Profitant de l’expertise de notre équipe et de nos travaux antérieurs, l'objectif de la thèse est de proposer, mettre en œuvre et évaluer des moyens pour relever ce défi, en tirant avantage de mécanismes de guidage plus fins.
Université / école doctorale
Systèmes (EDSYS)
INSA Toulouse
Localisation du sujet de thèse
Site
Saclay
Critères candidat
Formation recommandée
Master/Ingénieur en Informatique
Demandeur
Disponibilité du poste
01/02/2024
Personne à contacter par le candidat
MARCOZZI Michaël 
michael.marcozzi@cea.fr
CEA
DRT/DILS//LSL
Tuteur / Responsable de thèse
WAESELYNCK Hélène
CNRS
En savoir plus
https://sites.google.com/view/michaelmarcozzi/
https://binsec.github.io/
