Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Tue 7 Jul 2020 16:53 - 16:59 at Goguryeo - A5-Testing and Debugging 2 Chair(s): Marcelo d'Amorim

Reachable sets are critical for path planning and navigation of mobile autonomous systems. Traditionally, these sets are computed using system models instantiated with their physical bounds. This exclusive focus on the physical bounds belies the fact that these systems are increasingly driven by sophisticated software components that can also bound the variables in the system models. This work explores the degree to which bounds manifested in the software can affect the computation of reachable sets, introduces an analysis approach to discover such bounds in code, and illustrates the potential of that approach on two systems. The preliminary results reveal that taking into consideration software bounds can reduce traditionally computed reachable sets by up to 90%.

Tue 7 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

icse-2020-paper-presentations
16:05 - 17:05: Paper Presentations - A5-Testing and Debugging 2 at Goguryeo
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
icse-2020-papers16:05 - 16:17
Talk
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
icse-2020-papers16:17 - 16:29
Talk
Wing LamUniversity of Illinois at Urbana-Champaign, Kıvanç MuşluMicrosoft, Hitesh SajnaniMicrosoft , Suresh ThummalapentaMicrosoft
icse-2020-New-Ideas-and-Emerging-Results16:29 - 16:35
Talk
Andriy MiranskyyRyerson University, Lei ZhangRyerson University, Javad DoliskaniRyerson University, Toronto, Canada
Pre-print
Demonstrations16:35 - 16:38
Talk
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
icse-2020-papers16:38 - 16:50
Talk
Valentin ManèsCSRC, KAIST, Soomin KimKAIST, Sang Kil ChaKAIST
Demonstrations16:50 - 16:53
Talk
Richard RutledgeGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
icse-2020-New-Ideas-and-Emerging-Results16:53 - 16:59
Talk
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia