Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts (FormaliSE 2022)

Who

Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David Cok

Track

FormaliSE 2022

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 19 May 2022 10:30 - 11:00 at FormaliSE room - Session 3 Chair(s): Reiner Hähnle

Amirfarhad Nilizadeh

University of Central Florida

United States

Marlon Calvo

Gary T. Leavens

University of Central Florida

United States

David Cok

Safer Software Consulting, LLC

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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