Property-Driven Testing of Black-Box Functions (FormaliSE 2022)

Who

Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim

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:05 - 11:10 at FormaliSE room - Session 3 Chair(s): Reiner Hähnle
Sun 22 May 2022 15:30 - 16:00 at GHC 6115 (at Carnegie Mellon University) - Technical Session

Arnab Sharma

University of Paderborn

Germany

Vitalik Melnikov

Eyke Hüllermeier

Heike Wehrheim

Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Germany

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

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

14:00 - 16:00	Technical SessionFormaliSE at GHC 6115 (at Carnegie Mellon University)

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 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