BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20210907T100000
DTEND;TZID=Europe/Paris:20210907T110000
DTSTAMP:20260504T185520
CREATED:20210906T072941Z
LAST-MODIFIED:20210906T072941Z
UID:10583-1631008800-1631012400@www.greyc.fr
SUMMARY:Séminaire ALGO : Vincent Botbol (Nomadic labs.)\, Matthieu Dien (GREYC) et Ghiles Ziat (IRIF\, Univ. Paris)\, "Génération de tests aléatoires pour des types numériques contraints".
DESCRIPTION:Il est fréquent de manipuler des valeurs numériques avec des contraintes non explicitées par leur types. Par exemple\, les intervalles sont des\ncouples de nombres avec la contraintes que le premier (la borne inférieure) soit plus petit que le deuxième (borne supérieure).\nNos travaux proposent de générer automatiquement des tests unitaires pour à partir de la définition de ce genre de types. Nous présenterons\ndes exemples en OCaml.\nPour générer des tests automatiquement à partir d’un type :\n– nous dérivons les contraintes le concernant ;\n– nous calculons\, à l’aide de programmation par contrainte\, une représentation de l’espace des habitants de ce type sous forme de domaines abstraits\n– enfin nous générons le code du test qui générera aléatoirement des valeurs à l’aide de la méthode de la densité ;\nCette présentation couvrira les différentes notions (typage\, programmation par contraintes\, domaines abstraits\, génération aléatoire) « à partir de zéro ».
URL:https://www.greyc.fr/event/seminaire-algo-vincent-botbol-nomadic-labs-matthieu-dien-greyc-et-ghiles-ziat-irif-univ-paris-generation-de-tests-aleatoires-pour-des-types-numeriques-contraints/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,Séminaire Algo
END:VEVENT
END:VCALENDAR