A dynamic symbolic execution system, that generates test cases to exercise the key behavior of the operators that comprise a data flow program.