Trevor Hansen, Peter Schachte, Harald Søndergaard. State Joining and Splitting for the Symbolic Execution of Binaries. In Saddek Bensalem, Doron Peled, editors, Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Volume 5779 of Lecture Notes in Computer Science, pages 76-92, Springer, 2009. [doi]
Abstract is missing.