An Oracle Language for Autonomous Vehicles (ICSE 2020 - Posters) - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Who

Ana Nora Evans, Mary Lou Soffa, Sebastian Elbaum

Track

ICSE 2020 ICSE Posters

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

When

Wed 8 Jul 2020 02:10 - 03:00 at Poster Special Room - P306-Posters

Abstract

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.

Ana Nora Evans

University of Virginia, USA

United States

Mary Lou Soffa

University of Virginia

Sebastian Elbaum

University of Virginia, USA

United States

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Session Program

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

	02:10 - 03:00	P306-PostersICSE 2020 Posters at Poster Special Room

	02:10 50m Poster		A Practical, Collaborative Approach for Modeling Big Data Analytics Application Requirements ICSE 2020 Posters Hourieh Khalajzadeh Monash University, Australia, Anj Simmons Deakin University, Mohamed Abdelrazek Deakin University, John Grundy Monash University, John Hosking University of Auckland, Qiang He , Prasanna Ratnakanthan , Adil Zia , Meng Law
	02:10 50m Poster		ProvBuild: Improving Data Scientist Efficiency with Provenance (An Extended Abstract) ICSE 2020 Posters Jingmei Hu Harvard University, Jiwon Joung Harvard University, Maia Jacobs Harvard University, Krzysztof Gajos Harvard University, Margo Seltzer University of British Columbia
	02:10 50m Poster		Elite Developers' Activities at Open Source Ecosystem Level ICSE 2020 Posters James Jones University of California, Irvine, David Redmiles University of California, Irvine
	02:10 50m Poster		Semantic Analysis of Issues on Google Play and Twitter ICSE 2020 Posters Aman Yadav , Fatemeh Hendijani Fard University of British Columbia
	02:10 50m Poster		An Intelligent Tool for Combatting Contract Cheating Behaviour by Facilitating Scalable Student-Tutor Discussions ICSE 2020 Posters Jake Renzella Deakin University, Andrew Cain Deakin University, Jean-Guy Schneider Deakin University
	02:10 50m Poster		Poster: How Has Forking Changed in the Last 20 Years? A Study of Hard Forks on GitHub ICSE 2020 Posters Shurui Zhou Carnegie Mellon University, USA / University of Toronto, CA, Bogdan Vasilescu Carnegie Mellon University, Christian Kästner Carnegie Mellon University
	02:10 50m Poster		An Oracle Language for Autonomous Vehicles ICSE 2020 Posters Ana Nora Evans University of Virginia, USA, Mary Lou Soffa University of Virginia, Sebastian Elbaum University of Virginia, USA