Ralf Kneuper Symbolic Execution: A Semantic Approach. 207-249 1991 16 Sci. Comput. Program. 3 db/journals/scp/scp16.html#Kneuper91