Séminaire R-D sur les tests à base de contraintes - Constraint-Based Testing

Séminaire R-D sur les tests à base de contraintes - Constraint-Based Testing
10/11/15 11h00
CRIM (405 avenue Ogilvy, bureau 101)

Constraint-Based Testing

Conférence en anglais.

Conférencier : Arnaud Gotlieb, chercheur en chef au Simula Research Laboratory en Norvège.

Résumé : These last years have seen the development of several constraint solving techniques dedicated to the testing of software systems, in an area called "Constraint-Based Testing". Our approach in this domain consists in exploring how Constraint Programming techniques can help the automatic generation of test cases for imperative programs. My talk will review different techniques including dynamic symbolic execution, path-based exploration and constraint-based exploration and will emphasize the developments of tools for C and Java programs.

Biographie : Arnaud Gotlieb est un chercheur français en génie logiciel et programmation par contraintes, qui travaille actuellement en Norvège au Simula Research Laboratory. Il dirige le centre Certus qui est un centre d'innovation pour la recherche dédié à la validation et à la vérification des logiciels.


Les séminaires scientifiques du CRIM, gratuits et ouverts à tous, sont donnés par des experts de renommée internationale, des collaborateurs universitaires, le personnel de R-D et les boursiers de 2e et 3e cycles du CRIM. Au programme, des présentations conviviales sur les dernières avancées scientifiques et technologiques.

INSCRIPTION : Carmen.Robert@crim.ca ou 514 840-7992.
Conférence gratuite. Mardi, le 10 novembre 2015, de 11 h 00 à 12 h 00. Salle 11.
Au CRIM, 405, avenue Ogilvy, bureau 101, Montréal.

 

Ajouter au calendrier 10-11-2015 11:00 10-11-2015 12:00 15 Seminar: Constraint-Based Testing Gratuit, réservation à carmen.robert@crim.ca Détails de la présentation: http://www.crim.ca/fr/evenements/seminaire-r-d-sur-les-tests-a-base-de-contraintes-constraint-based-testing CRIM (405, avenue Ogilvy, bur. 101, Montréal, Salle 11) CRIM info@crim.ca false DD/MM/YYYY

 
  • #Demain ???? Détection de signes de maladie mentale et de troubles du comportement à partir de la communication en lig… https://t.co/y8ZEQDBYsc
  • CNRC RT @CNRC_NRC: Le Gala des Prix Innovation 2019 de l’@ADRIQ_RCTi aura lieu demain! Des scientifiques d’#AutomobileCNRC et #TransportsCNRC so…