External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

State Joining and Splitting for the Symbolic Execution of Binaries

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]

Authors

Trevor Hansen

This author has not been identified. Look up 'Trevor Hansen' in Google

Peter Schachte

This author has not been identified. Look up 'Peter Schachte' in Google

Harald Søndergaard

This author has not been identified. Look up 'Harald Søndergaard' in Google
runs on