Fri 9 Nov 2018 14:00 - 14:30 at Spring Lake - Afternoon talks Chair(s): Robert Dyer

During the development of an embedded system, state transition models are frequently used for modeling at several abstraction levels. Unfortunately, specification documents including such model are often lost or not up to date during maintenance/reuse. Based on our experience in industrial collaboration, we present Micro State Transition Table (MSTT) to help developers understanding embedded code based on a fine-grained state transition model. We also discuss the challenges of static recovery of an MSTT.

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 14:30: Afternoon talksWASPI at Spring Lake
Chair(s): Robert DyerBowling Green State University
13:30 - 14:00
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
14:00 - 14:30
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print