APA (7th ed.) Citation

Liang, H., Yin, L., Hu, W., Li, Y., & Shen, W. (2025). Unified and Split Symbolic Execution for Exposing Semantic Differences. ACM Transactions on Software Engineering & Methodology, 34(6), 1. https://doi.org/10.1145/3705299

Chicago Style (17th ed.) Citation

Liang, Hongliang, Luming Yin, Wenying Hu, Yuxiang Li, and Wuwei Shen. "Unified and Split Symbolic Execution for Exposing Semantic Differences." ACM Transactions on Software Engineering & Methodology 34, no. 6 (2025): 1. https://doi.org/10.1145/3705299.

MLA (9th ed.) Citation

Liang, Hongliang, et al. "Unified and Split Symbolic Execution for Exposing Semantic Differences." ACM Transactions on Software Engineering & Methodology, vol. 34, no. 6, 2025, p. 1, https://doi.org/10.1145/3705299.