Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada. Towards static recovery of micro state transitions from legacy embedded code. In Robert Dyer 0001, Vasant G. Honavar, Gary T. Leavens, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, editors, Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018. pages 1-4, ACM, 2018. [doi]
Abstract is missing.