Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Thu 19 May 2022 10:30 - 11:00 at FormaliSE room - Session 3 Chair(s): Reiner Hähnle

Thu 19 May

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

10:30 - 11:45
Session 3FormaliSE at FormaliSE room
Chair(s): Reiner Hähnle Technical University of Darmstadt
10:30
30m
Paper
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts
FormaliSE
Amirfarhad Nilizadeh University of Central Florida, Marlon Calvo , Gary T. Leavens University of Central Florida, David Cok Safer Software Consulting, LLC
11:05
5m
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
11:15
30m
Paper
Counting Bugs in Behavioural Models using Counterexample Analysis
FormaliSE
Irman Faqrizal , Gwen Salaün University of Grenoble Alpes

Information for Participants
Thu 19 May 2022 10:30 - 11:45 at FormaliSE room - Session 3 Chair(s): Reiner Hähnle
Info for room FormaliSE room:

Click here to go to the room on Midspace