doc icon indicating copy to clipboard operation
doc copied to clipboard
verified publisher icon decomp

review: Extracting instruction semantics via symbolic execution of code generators

Open mewmew opened this issue 6 years ago • 0 comments

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

mewmew avatar Sep 10 '19 08:09 mewmew