Text this: Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.