Towards static recovery of micro state transitions from legacy embedded code.

Ryota Yamamoto Norihiro Yoshida Hiroaki Takada

Published in: WASPI@ESEC/SIGSOFT FSE (2018)

Keyphrases

state transitions
state transition
error detection
dynamic analysis
legacy software
source code
reverse engineering
user actions
legacy systems
static analysis
image recovery
recovery algorithm
hidden markov models
software systems
state action
object oriented