Symbolic finite state transducers: Algorithms and applications (2012)

by M Veanes, P Hooimeijer, B Livshits, D Molnar, N Bjorner
Venue:In Proceedings of the Symposium on Principles of Programming Languages (POPL