review: Extracting instruction semantics via symbolic execution of code generators

[mewmew]

N. Hasabnis and R. Sekar, Extracting instruction semantics via symbolic execution of code generators, in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 301–313, ACM, 2016.

https://dl.acm.org/citation.cfm?id=2950335