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]

@inproceedings{KloibhoferPHMSL20,
  title = {SymJEx: symbolic execution on the GraalVM},
  author = {Sebastian Kloibhofer and Thomas Pointhuber and Maximilian Heisinger and Hanspeter Mössenböck and Lukas Stadler and David Leopoldseder},
  year = {2020},
  doi = {10.1145/3426182.3426187},
  url = {https://doi.org/10.1145/3426182.3426187},
  researchr = {https://researchr.org/publication/KloibhoferPHMSL20},
  cites = {0},
  citedby = {0},
  pages = {63-72},
  booktitle = {MPLR '20: 17th International Conference on Managed Programming Languages and Runtimes, Virtual Event, UK, November 4-6, 2020},
  editor = {Stefan Marr},
  publisher = {ACM},
  isbn = {978-1-4503-8853-5},
}