BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://murmitoyen.com/events/vanille/udem/
X-WR-TIMEZONE:America/Montreal
BEGIN:VEVENT
UID:69dcbb10ef3b3
DTSTAMP:20260413T054448
DTSTART:20160513T100000
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20160513T100000
URL:https://murmitoyen.com/events/vanille/udem/detail/688804-l-software-tes
 ting-through-heuristic-search-and-optimization-r
LOCATION:Université de Montréal - Pavillon Claire-McNicoll\, 2900\, chemi
 n de la Tour\, Montréal\, QC\, Canada\, H3T 1J6
SUMMARY:« Software Testing Through Heuristic Search and Optimization »
DESCRIPTION:Conférence de Lionel Briand\, professeur à l’Université du
  Luxembourg. Il y détient une chaire de recherche FNR PEARL en vérificat
 ion et validation de logiciels au sein du SnT Centre for Security\, Reliab
 ility\, and Trust\, dont il est également vice-directeur.     Cette co
 nférence\, présentée à l’occasion du 50e anniversaire du Départemen
 t d’informatique et de recherche opérationnelle de l'Université de Mon
 tréal\, sera prononcée en anglais par le professeur Lionel Briand de l
 ’Université du Luxembourg.
\nRésuméLes problèmes de test et de véri
 fication dans l'industrie du logiciel prennent différentes formes\, en ra
 ison de différences significatives entre les domaines d’application et 
 les contextes. Mais un défi commun est le passage à l’échelle\, soit 
 la capacité de tester et de vérifier des systèmes de plus en plus grand
 s et complexes. Une autre préoccupation relève de l'aspect pratique. Est
 -ce que les entrées requises par une technique donnée peuvent être prod
 uites de façon réaliste?Cette présentation résume 10 ans de recherche 
 sur la vérification et le test comme problèmes de recherche heuristique 
 et d'optimisation\, reposant souvent\, mais pas toujours\, sur des abstrac
 tions et des modèles du système sous test. Nous observons que la plupart
  des problèmes auxquels nous avons été confrontés pourraient être ré
 exprimés de manière à utiliser des techniques de recherche et d'optimis
 ation appropriées pour automatiser une stratégie spécifique de test ou 
 de vérification.
\nConsultez la description et l’horaire complet des co
 nférences du 50e anniversaire du Département d’informatique et de rech
 erche opérationnelle.
END:VEVENT
BEGIN:VTIMEZONE
TZID:America/Montreal
X-LIC-LOCATION:America/Montreal
END:VTIMEZONE
END:VCALENDAR