CROWN 2.0: Automated Test Generation for Industrial Embedded Software - 17 Years Journey from Research To Product
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|
|CROWN 2.0: Automated Test Generation for Industrial Embedded Software - 17 Years Journey from Research To Product|
Moonzoo KimKAIST and V+Lab