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.

Deconstructing Dynamic Symbolic Execution

Thomas Ball, Jakub Daniel. Deconstructing Dynamic Symbolic Execution. In Maximilian Irlbeck, Doron Peled, Alexander Pretschner, editors, Dependable Software Systems Engineering. Volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 26-41, IOS Press, 2015. [doi]

Authors

Thomas Ball

This author has not been identified. Look up 'Thomas Ball' in Google

Jakub Daniel

This author has not been identified. Look up 'Jakub Daniel' in Google
runs on