ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Mon 6 Jun 2022 16:10 - 16:30 at Stockholm - Second afternoon session Chair(s): Volker Stolz

Although fuzzers have been successful in revealing semantic bugs that lead to crashes, fuzzers do not reveal semantic bugs that do not lead to crashes. Furthermore, the inputs that lead to crashes may be invalid and thus may not reveal semantic bugs at all if they are not in the program’s intended input domain. On the other hand, runtime assertion checking (RAC) may be used for revealing semantic bugs, although it needs input test data that can trigger these bugs.

We propose to combine fuzzing tools and RAC in a complementary manner to leverage their benefits and overcome these problems. That is, a fuzzing tool will generate an input test, and a RAC tool will make sure that the inputs are valid and check the results for semantic bugs.

Mon 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
Second afternoon sessionVORTEX at Stockholm
Chair(s): Volker Stolz Høgskulen på Vestlandet
15:30
40m
Keynote
To Monitorability and Beyond (online talk)
VORTEX
I: Antonis Achilleos Reykjavik University
16:10
20m
Talk
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
VORTEX
Amirfarhad Nilizadeh University of Central Florida, S: Gary T. Leavens University of Central Florida
16:30
20m
Talk
Runtime monitoring of Java duplicate memory allocations (online talk)
VORTEX
16:50
5m
Day closing
Closing
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta