Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 14:20 - 14:40 at Place du Canada - Test Generation Chair(s): Adam Porter

Ensuring the safety of self-driving cars is naturally important, but neither industry nor authorities have settled on a standard way to test them. Deploying self-driving cars for testing in regular traffic is a common, but costly and risky method, which has already caused fatalities. As a safer alternative, virtual tests, in which self-driving car software is tested in computer simulations, have been proposed. Manually generating such tests will never sufficiently cover the massive amount of driving situations self-driving cars must be tested for; hence, we developed AsFault, a tool for automatically generating virtual tests for systematically testing self-driving car software. We demonstrate AsFault by testing the lane keeping feature of an artificial intelligence-based self-driving car software and causing it to drive out of the road. A video illustrating AsFault in action is available at: https://youtu.be/lJ1sa42VLDw

Wed 29 May

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

14:00 - 15:30
Test GenerationDemonstrations / Papers / Technical Track / Software Engineering in Practice at Place du Canada
Chair(s): Adam Porter University of Maryland
14:00
20m
Talk
Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive IndustrySEIPIndustry Program
Software Engineering in Practice
Yunho Kim KAIST, Dongju Lee Software Verification Team, Hyundai Mobis, Junki Baek Software Verification Team, Hyundai Mobis, Moonzoo Kim KAIST
14:20
20m
Talk
AsFault: Testing Self-Driving Car Software Using Search-based Procedural Content GenerationDemosIndustry Program
Demonstrations
Alessio Gambi University of Passau, Marc Mueller BeamNG GmbH, Gordon Fraser University of Passau
14:40
20m
Talk
AC3R: Automatically Reconstructing Car Crashes from Police ReportsDemosIndustry Program
Demonstrations
Tri Huynh Saarland University, Alessio Gambi University of Passau, Gordon Fraser University of Passau
15:00
20m
Talk
Automatically Generating Precise Oracles from Structured Natural Language SpecificationsArtifacts AvailableArtifacts Evaluated ReusableTechnical TrackIndustry Program
Technical Track
Manish Motwani University of Massachusetts, Amherst, Yuriy Brun University of Massachusetts Amherst
Link to publication Pre-print
15:20
10m
Talk
Discussion Period
Papers