External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards static recovery of micro state transitions from legacy embedded code

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]

Authors

Ryota Yamamoto

This author has not been identified. Look up 'Ryota Yamamoto' in Google

Norihiro Yoshida

This author has not been identified. Look up 'Norihiro Yoshida' in Google

Hiroaki Takada

This author has not been identified. Look up 'Hiroaki Takada' in Google
runs on