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

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
12:00
30m
Paper
Computing Program Functions
FormaliSE
12:30
30m
Paper
C for Yourself: Comparison of Front-End Techniques for Formal Verification
FormaliSE
Levente Bajczi , Zsófia Ádám , Vince Molnár Budapest University of Technology and Economics
13:00
30m
Paper
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning
FormaliSE
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