Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 8 Jul 2020 17:10 - 18:00 at SRC Poster Special Room - A305-SRC-Posters

Testing cyber-physical system (CPS) development tools such as MathWorks’ Simulink is very important as they are widely used in design, simulation, and verification of CPS data-flow models. Existing randomized differential testing frameworks such as SLforge leverages semi-formal Simulink specifications to guide random model generation which requires significant research and engineering investment along with the need to manually update the tool, whenever MathWorks updates model validity rules. To address the limitations, we propose to learn validity rules automatically by learning a language model using our framework DeepFuzzSL from existing corpus of Simulink models. In our experiments, DeepFuzzSL consistently generate over 90% valid Simulink models and also found 2 confirmed bugs by MathWorks Support.

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

17:10 - 18:00
Poster
ACM Student Research Competition
Yi LiNew Jersey Institute of Technology, USA
17:10 - 18:00
Poster
ACM Student Research Competition
Sohil Lal ShresthaThe University of Texas at Arlington
DOI Pre-print
17:10 - 18:00
Poster
ACM Student Research Competition
Zhenhao LiConcordia University
17:10 - 18:00
Poster
ACM Student Research Competition
Zihe SongThe University of Texas at Dallas
17:10 - 18:00
Poster
ACM Student Research Competition
Cristian AugustoUniversity of Oviedo
17:10 - 18:00
Poster
ACM Student Research Competition
Dong Jae KimConcordia University