Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 15 Jul 2020 08:00 - 09:00 at AST - Live Session 1 - Keynote Chair(s): Aditya P Mathur

Automated software testing techniques such as software model checking and concolic testing have been popular in research communities for the last few decades. However, such advanced techniques are not yet successfully applied to industrial software. For fruitful technology transfer from academia to industry, we have to build a bridge to cross the obstacles such as lack of trained field engineers, hidden (and non-negligible) costs to apply automated techniques, different levels of software quality pursued by different industry sectors and so on. In this talk, I will discuss lessons learned from my 17 years’ experience of applying automated software testing techniques to industrial embedded software such as Samsung smartphones, LG home appliances, and Hyundai automotive software. Also, I will share my experience of starting an automated software testing company V+Lab, which develops an automated test generation tool CROWN 2.0 that targets safety critical systems such as automotive vehicles, airplanes, and defense systems.

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

08:00 - 09:00: Live Session 1 - KeynoteAST at AST
Chair(s): Aditya P MathurPurdue University (USA) and Singapore University of Technology and Design (Singapore)
08:00 - 09:00
Keynote
CROWN 2.0: Automated Test Generation for Industrial Embedded Software - 17 Years Journey from Research To Product
AST
Moonzoo KimKAIST and V+Lab