Oussama Beroual obtient son doctorat

Oussama Beroual, étudiant au doctorat sous la direction du professeur Sylvain Hallé, a défendu avec succès sa thèse de doctorat lors d’une soutenance tenue le 25 mai 2018.

Sa thèse, intitulée Détection et correction automatique des bugs d’interface dans les applications web,

Lire la suite ›



Jérémy Spieldenner termine un projet d’intervention en entreprise

Jérémy Spieldenner, étudiant à la maîtrise sous la direction du professeur Sylvain Hallé, vient de terminer un projet d’intervention de six mois au sein de l’entreprise Eckinox Média.

Cette activité vise à permettre à un étudiant d’intégrer les connaissances acquises dans les cours du programme avec la réalisation d’un projet de développement en entreprise.

Lire la suite ›

Tags :

Tom Canac termine son mémoire de maîtrise

Tom Canac, étudiant à la maîtrise sous la direction du professeur Sylvain Hallé, a déposé avec succès la version finale de son mémoire de maîtrise en juillet 2018. Le projet de Tom impliquait le développement d’une solution intégrée et modulaire de tests pour les applications web, appelée CowTest.

Lire la suite ›



Web à Québec : vitrine sur le Laboratoire d’informatique formelle de l’UQAC et son logiciel Cornipickle

Le plus grand événement numérique francophone en Amérique du Nord – Web à Québec – était proposé du 10 au 12 avril derniers dans la vieille capitale. Quelque 1 500 participants se sont donné rendez-vous lors de cette 8e édition, à laquelle le responsable du Laboratoire d’informatique formelle (LIF) de l’UQAC,

Lire la suite ›



Quentin Betti se mérite une bourse FRQNT

Le Fonds de recherche Québec — Nature et Technologies (FRQNT) a décerné une bourse à Quentin Betti, étudiant de doctorat au LIF. Cette bourse du programme de stages internationaux permettra à Quentin de passer six mois au Georgia Institute of Technology sous la direction du professeur Benoît Montreuil,

Lire la suite ›



Francis Guérin termine son mémoire de maîtrise

Francis Guérin, étudiant à la maîtrise sous la direction du professeur Sylvain Hallé, a déposé avec succès la version finale de son mémoire de maîtrise. Le projet de Francis impliquait le développement d’applications du logiciel Cornipickle, lequel permet de détecter automatiquement des bugs en tous genres dans les interfaces graphiques des sites web.

Lire la suite ›



Deux nouveaux articles pour des chercheurs du LIF

Les professeurs Sylvain Hallé et Raphaël Khoury, tous deux membres du LIF, ontrécemment appris que deux de leurs articles avaient été acceptés pour publication au ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), qui se tiendra à Santa Barbara en Californie en juillet prochain.

Lire la suite ›



Nouveau rapport technique sur BeepBeep

Le professeur Sylvain Hallé vient de rendre public un rapport technique résumant les travaux menés au LIF dans le domaine du Complex Event Processing.

Plusieurs problèmes en informatique peuvent être vus comme le calcul de requêtes sur des séquences (aussi appelés « flux ») d’éléments de données que l’on appelle des événements.

Lire la suite ›



Un nouvel article pour deux étudiants du LIF

Les étudiants Francis Guérin et Oussama Beroual ont récemment appris que leur article de recherche, intitulé « Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers », a été accepté au 10th International Workshop on Search-Based Software Testing (SBST 2017). L’événement se tiendra en marge du ACM/IEEE International Conference on Software Engineering (ICSE),

Lire la suite ›



Offre de Ph.D. en détection de malware (Automne 2016)

Détection du Malware par Monitorage des Traces d’exécution

Laboratoire d’Informatique Formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada

Le Laboratoire d’informatique Formelle (http://liflab.ca) sollicite les candidatures de haut-calibre relativement à une bourse d’étude de troisième cycle d’une durée de trois ans en détection du malware (code malicieux).

Lire la suite ›

Tags : , , , , ,

Top