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

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