Affiliation:
1. University of Texas at Arlington
2. Vanderbilt University
Funder
Air Force Office of Scientific Research
National Science Foundation
Air Force Research Laboratory
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers;Proceedings of the ACM on Software Engineering;2024-07-12
2. How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception?;Proceedings of the ACM on Software Engineering;2024-07-12
3. Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing;ACM Transactions on Software Engineering and Methodology;2024-06-04
4. 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
5. Replicability Study: Corpora For Understanding Simulink Models & Projects;2023 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM);2023-10-26