conf.researchr.org / Hiroaki Takada

Not registered as user yet

Name: Hiroaki Takada

Affiliation: Nagoya University

Contributions

ISSTA 2019Author of Symbolic Execution-based Approach to Extracting a Micro State Transition Table within the Workshop – TAV-CPS/IoT-track
ESEC/FSE 2018Author of Towards Static Recovery of Micro State Transitions from Legacy Embedded Code within the WASPI-track