Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. - Currie, David; Xiushan Feng; Fujita, Masahiro; Hu, Alan J.; Kwan, Mark; Rajan, Sreeranga (International Journal of Parallel Programming, 2006)