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.

SEViz: A Tool for Visualizing Symbolic Execution

David Honfi, András Vörös, Zoltán Micskei. SEViz: A Tool for Visualizing Symbolic Execution. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015. pages 1-8, IEEE, 2015. [doi]

Authors

David Honfi

This author has not been identified. Look up 'David Honfi' in Google

András Vörös

This author has not been identified. Look up 'András Vörös' in Google

Zoltán Micskei

Identified as Zoltán Micskei
runs on