Compiler Testing using Template Java Programs-Reference-Cited by-同舟云学术

Compiler Testing using Template Java Programs

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Zang Zhiqiang¹,Wiatrek Nathan¹,Gligoric Milos²,Shi August²

Affiliation:

1. The University of Texas at Austin, USA

2. The University of Texas at Austin, United States of America

Publisher

ACM

Link

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

Reference100 articles.

1. Alfred Aho , Monica Lam , Ravi Sethi , and Jeffrey Ullman . 2007 . Compilers: Principles, Techniques, and Tools . Addison-Wesley . Alfred Aho, Monica Lam, Ravi Sethi, and Jeffrey Ullman. 2007. Compilers: Principles, Techniques, and Tools. Addison-Wesley.

2. Mohammad Amin Alipour , Alex Groce , Rahul Gopinath , and Arpit Christi . 2016 . Generating Focused Random Tests Using Directed Swarm Testing. In International Symposium on Software Testing and Analysis. ACM, 70–81 . Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, and Arpit Christi. 2016. Generating Focused Random Tests Using Directed Swarm Testing. In International Symposium on Software Testing and Analysis. ACM, 70–81.

3. Oracle Corporation and/or its affiliates. 2021. The Java HotSpot Performance Engine Architecture. https://www.oracle.com/java/technologies/whitepaper.html. Oracle Corporation and/or its affiliates. 2021. The Java HotSpot Performance Engine Architecture. https://www.oracle.com/java/technologies/whitepaper.html.

4. Oracle Corporation and/or its affiliates. 2021. [JDK-8251535] Partial peeling at unsigned test adds incorrect loop exit check - Java Bug System. https://bugs.openjdk.java.net/browse/JDK-8251535. Oracle Corporation and/or its affiliates. 2021. [JDK-8251535] Partial peeling at unsigned test adds incorrect loop exit check - Java Bug System. https://bugs.openjdk.java.net/browse/JDK-8251535.

5. Oracle Corporation and/or its affiliates. 2021. Regression Test Harness for the JDK: jtreg. https://openjdk.java.net/jtreg. Oracle Corporation and/or its affiliates. 2021. Regression Test Harness for the JDK: jtreg. https://openjdk.java.net/jtreg.

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

1. Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Java JIT Testing with Template Extraction;Proceedings of the ACM on Software Engineering;2024-07-12

3. Understanding and Finding Java Decompiler Bugs;Proceedings of the ACM on Programming Languages;2024-04-29

4. JOG: Java JIT Peephole Optimizations and Tests from Patterns;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

5. A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30