Roger B. Dannenberg George W. Ernst Formal Program Verification Using Symbolic Execution. 43-52 1982 8 IEEE Trans. Software Eng. 1 db/journals/tse/tse8.html#DannenbergE82