Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Wed 18 May 2022 13:00 - 13:30 at FormaliSE room - Session 2 Chair(s): Livia Lestingi

I am currently the Canada Research Chair in Software Specification, Testing and Verification at Université du Québec à Chicoutimi, Canada, and head of the Formal Computer Science Laboratory (LIF). My research concentrates on automated verification. Current projects include the runtime monitoring of video games, the detection of configuration errors in network devices and the enforcement of navigation sequences in web applications. I also do a bit of databases and computer security. I applied by knowledge in development or consulting projects with Ericsson Canada, Hydro-Québec, Solutions TLM, BlooBuzz, Novum Solutions and Cisco Systems. Among recent distinctions I received, I earned five Best Paper Awards in international conferences. I am a double recipient of the Governor General’s Academic Medal. I am also a Senior Member of both IEEE and ACM.

Wed 18 May

Displayed time zone: Eastern Time (US & Canada) change

12:00 - 13:30
Session 2FormaliSE at FormaliSE room
Chair(s): Livia Lestingi DEIB, Politecnico di Milano
Computing Program Functions
C for Yourself: Comparison of Front-End Techniques for Formal Verification
Levente Bajczi , Zsófia Ádám , Vince Molnár Budapest University of Technology and Economics
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning
Sylvain Hallé Université du Québec à Chicoutimi

Information for Participants
Wed 18 May 2022 12:00 - 13:30 at FormaliSE room - Session 2 Chair(s): Livia Lestingi
Info for room FormaliSE room:

Click here to go to the room on Midspace