Counting Bugs in Behavioural Models using Counterexample Analysis (FormaliSE 2022)

Write a Blog >>

Sun 8 - Fri 27 May 2022

Who

Irman Faqrizal, Gwen Salaün

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 11:15 - 11:45 at FormaliSE room - Session 3 Chair(s): Reiner Hähnle

Irman Faqrizal

Gwen Salaün

University of Grenoble Alpes

France

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