David W. Currie Xiushan Feng Masahiro Fujita Alan J. Hu Mark Kwan Sreeranga P. Rajan Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. 61-91 2006 34 International Journal of Parallel Programming 1 http://dx.doi.org/10.1007/s10766-005-0004-8 db/journals/ijpp/ijpp34.html#CurrieFFHKR06