Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 8 Jul 2020 02:10 - 03:00 at Poster Special Room - P306-Posters

Testing autonomous vehicles (AVs) requires complex oracles to determine if the AVs behavior conforms with specifications and humans’ expectations. Available open source oracles are tightly embedded in the AV simulation software and are developed and implemented in an ad hoc way. We propose a domain specific language that enables defining oracles independent of the AV solutions and the simulator. A testing analyst can encode safety, liveness, timeliness and temporal properties in our language. To show the expressiveness of our language we implement three different types of available oracles. We find that the same AV solutions may be ranked significantly differently across existing oracles, thus existing oracles do not evaluate AVs in a consistent manner.

Wed 8 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00: P306-PostersICSE 2020 Posters at Poster Special Room
02:10 - 03:00
Poster
ICSE 2020 Posters
Hourieh KhalajzadehMonash University, Australia, Andrew SimmonsDeakin University, Mohamed AbdelrazekDeakin University, John GrundyMonash University, John HoskingUniversity of Auckland, Qiang He, Prasanna Ratnakanthan, Adil Zia, Meng Law
02:10 - 03:00
Poster
ICSE 2020 Posters
Jingmei HuHarvard University, Jiwon JoungHarvard University, Maia JacobsHarvard University, Krzysztof GajosHarvard University, Margo SeltzerUniversity of British Columbia
02:10 - 03:00
Poster
ICSE 2020 Posters
James JonesUniversity of California, Irvine, David RedmilesUniversity of California, Irvine
02:10 - 03:00
Poster
ICSE 2020 Posters
Aman Yadav, Fatemeh Hendijani FardUniversity of British Columbia
02:10 - 03:00
Poster
ICSE 2020 Posters
Jake RenzellaDeakin University, Andrew CainDeakin University, Jean-Guy SchneiderDeakin University
02:10 - 03:00
Poster
ICSE 2020 Posters
Shurui ZhouCarnegie Mellon University, USA / University of Toronto, CA, Bogdan VasilescuCarnegie Mellon University, Christian KästnerCarnegie Mellon University
02:10 - 03:00
Poster
ICSE 2020 Posters
Ana Nora EvansUniversity of Virginia, USA, Mary Lou SoffaUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA