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

Displayed time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00
02:10
50m
Poster
A Practical, Collaborative Approach for Modeling Big Data Analytics Application Requirements
ICSE 2020 Posters
Hourieh Khalajzadeh Monash University, Australia, Andrew 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