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.

SymJEx: symbolic execution on the GraalVM

Sebastian Kloibhofer, Thomas Pointhuber, Maximilian Heisinger, Hanspeter Mössenböck, Lukas Stadler, David Leopoldseder. SymJEx: symbolic execution on the GraalVM. In Stefan Marr, editor, MPLR '20: 17th International Conference on Managed Programming Languages and Runtimes, Virtual Event, UK, November 4-6, 2020. pages 63-72, ACM, 2020. [doi]

Authors

Sebastian Kloibhofer

This author has not been identified. Look up 'Sebastian Kloibhofer' in Google

Thomas Pointhuber

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

Maximilian Heisinger

This author has not been identified. Look up 'Maximilian Heisinger' in Google

Hanspeter Mössenböck

This author has not been identified. It may be one of the following persons: Look up 'Hanspeter Mössenböck' in Google

Lukas Stadler

This author has not been identified. Look up 'Lukas Stadler' in Google

David Leopoldseder

This author has not been identified. Look up 'David Leopoldseder' in Google
runs on