Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Thu 19 May 2022 12:30 - 13:00 at FormaliSE room - Session 4 Chair(s): Claudio Menghi
Sun 22 May 2022 14:30 - 15:00 at GHC 6115 (at Carnegie Mellon University) - Technical Session

Thu 19 May

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

12:00 - 13:30
Session 4FormaliSE at FormaliSE room
Chair(s): Claudio Menghi McMaster University, Canada
12:00
30m
Paper
Towards Automated Input Generation for Sketching Alloy Models
FormaliSE
Ana Jovanovic , Allison Sullivan University of Texas at Arlington
12:30
30m
Paper
Automating Cryptographic Protocol Language Generation from Structured Specifications
FormaliSE
Roberto Metere Newcastle University, Luca Arnaboldi The University of Edinburgh
13:00
30m
Talk
Automatic Loop Invariant Generation for Data Dependence Analysis
FormaliSE
Asmae Heydari Tabar Technical University of Darmstadt, Richard Bubel Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt

Sun 22 May

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

14:00 - 16:00
14:00
30m
Paper
Towards Automated Input Generation for Sketching Alloy Models
FormaliSE
Ana Jovanovic , Allison Sullivan University of Texas at Arlington
14:30
30m
Paper
Automating Cryptographic Protocol Language Generation from Structured Specifications
FormaliSE
Roberto Metere Newcastle University, Luca Arnaboldi The University of Edinburgh
15:00
30m
Talk
Counterexample-Guided Inductive Repair of Reactive Contracts
FormaliSE
Soha Hussein University of Minnesota, USA / Ain Shams University, Egypt, Sanjai Rayadurgam University of Minnesota, Stephen McCamant University of Minnesota, USA, Vaibhav Sharma Amazon, Mats Heimdahl University of Minnesota
15:30
30m
Talk
Property-Driven Testing of Black-Box Functions
FormaliSE
Arnab Sharma University of Paderborn, Vitalik Melnikov , Eyke Hüllermeier , Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Information for Participants
Thu 19 May 2022 12:00 - 13:30 at FormaliSE room - Session 4 Chair(s): Claudio Menghi
Info for room FormaliSE room:

Click here to go to the room on Midspace