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

The importance of automotive software has been rapidly increasing because software now controls many components in motor vehicles such as window controller, smart-key system, and tire pressure monitoring system. Consequently, the automotive industry spends a large amount of human effort testing automotive software and is interested in automated software testing techniques that can ensure high-quality automotive software with reduced human effort. In this paper, we report our industrial experience applying concolic testing to automotive software developed by Hyundai Mobis. We have developed an automated testing framework MAIST that automatically generates the test driver, stubs, and test inputs to a target task by applying concolic testing. As a result, MAIST has achieved 90.5% branch coverage and 77.8% MC/DC coverage on the integrated body unit (IBU) software. Furthermore, it reduced the cost of IBU coverage testing by reducing the manual testing effort for coverage testing by 53.3% which correlates to 0.5 million USD per year at Mobis India.

Wed 29 May
Times are displayed in time zone: Eastern Time (US & Canada) change

14:00 - 15:30
14:00
20m
Talk
Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive IndustrySEIPIndustry Program
Software Engineering in Practice
Yunho KimKAIST, Dongju LeeSoftware Verification Team, Hyundai Mobis, Junki BaekSoftware Verification Team, Hyundai Mobis, Moonzoo KimKAIST
14:20
20m
Talk
AsFault: Testing Self-Driving Car Software Using Search-based Procedural Content GenerationDemosIndustry Program
Demonstrations
Alessio GambiUniversity of Passau, Marc MuellerBeamNG GmbH, Gordon FraserUniversity of Passau
14:40
20m
Talk
AC3R: Automatically Reconstructing Car Crashes from Police ReportsDemosIndustry Program
Demonstrations
Tri HuynhSaarland University, Alessio GambiUniversity of Passau, Gordon FraserUniversity of Passau
15:00
20m
Talk
Automatically Generating Precise Oracles from Structured Natural Language SpecificationsArtifacts AvailableArtifacts Evaluated ReusableTechnical TrackIndustry Program
Technical Track
Manish MotwaniUniversity of Massachusetts, Amherst, Yuriy BrunUniversity of Massachusetts Amherst
Link to publication Pre-print
15:20
10m
Talk
Discussion Period
Papers