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. 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