SymJEx: symbolic execution on the GraalVM-Reference-Cited by-同舟云学术

SymJEx: symbolic execution on the GraalVM

Published:2020-11-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes
language:
Short-container-title:

Author:

Kloibhofer Sebastian¹^ORCID,Pointhuber Thomas¹^ORCID,Heisinger Maximilian¹,Mössenböck Hanspeter¹^ORCID,Stadler Lukas²,Leopoldseder David²^ORCID

Affiliation:

1. JKU Linz, Austria

2. Oracle Labs, Austria

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3426182.3426187

Reference58 articles.

1. Ben Algaze. 2017. Software Is Increasingly Complex. That Can Be Dangerous.-ExtremeTech. https://www.extremetech.com/computing/259977-softwareincreasingly-complex-thats-dangerous. Ben Algaze. 2017. Software Is Increasingly Complex. That Can Be Dangerous.-ExtremeTech. https://www.extremetech.com/computing/259977-softwareincreasingly-complex-thats-dangerous.

2. Frances E Allen and John Cocke. 1971. A Catalogue of Optimizing Transformations. ( 1971 ) 30. Frances E Allen and John Cocke. 1971. A Catalogue of Optimizing Transformations. ( 1971 ) 30.

3. Constraint contextual rewriting

4. Compiler transformations for high-performance computing

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Polyglot Program Testing;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

2. On the granularity of linguistic reuse;Journal of Systems and Software;2023-08

3. SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM;Software Engineering and Formal Methods;2022

4. Polyglot Programming with GraalVM Applied to Bioinformatics for DNA Sequence Analysis;Advances in Intelligent Systems and Computing;2021-10-17