المؤلفون: Menguy, Grégoire, Bardin, Sébastien, Bonichon, Richard, Lima, Cauim de Souza

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2102.04805

المؤلفون: Menguy, Grégoire

المساهمون: Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Paris-Saclay, Julien Signoles, Sébastien Bardin, Nadjib Lazaar

المصدر: Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG023⟩

مصطلحات موضوعية: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Contract inférence, Inférence de contrats, Constraint acquisition, Machine learning, Code understanding, Compréhension de code, Acquisition de contraintes, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Program synthesis, Apprentissage, Synthèse de code, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3515::ade9a05d7c38127f3d659d2df54938ea
https://theses.hal.science/tel-04097552