General information
Organisation
The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
• defence and security,
• nuclear energy (fission and fusion),
• technological research for industry,
• fundamental research in the physical sciences and life sciences.
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.
The CEA is established in ten centers spread throughout France
Reference
SL-DRT-24-0106
Direction
DRT
Thesis topic details
Category
Technological challenges
Thesis topics
Artful guidance of test generation tools
Contract
Thèse
Job description
Fuzzing is an automatic test generation technique. It consists in repeatedly executing a program with automatically generated inputs, in order to trigger crashes, symptoms of underlying bugs in the code, which can then be fixed. A major challenge in this area is moving from indiscriminate exploration of how programs work to artful guidance towards the discovery of important bugs. Taking advantage of the expertise of our team and our previous work, the objective of the thesis is to propose, implement and evaluate means to meet this challenge, taking advantage of finer-grained guidance mechanisms.
University / doctoral school
Systèmes (EDSYS)
INSA Toulouse
Thesis topic location
Site
Saclay
Requester
Position start date
01/02/2024
Person to be contacted by the applicant
MARCOZZI Michaël 
michael.marcozzi@cea.fr
CEA
DRT/DILS//LSL
Tutor / Responsible thesis director
WAESELYNCK Hélène
CNRS
En savoir plus
https://sites.google.com/view/michaelmarcozzi/
https://binsec.github.io/