Kuchta, T., Palikareva, H., & Cadar, C. (2018). Shadow Symbolic Execution for Testing Software Patches. ACM Transactions on Software Engineering & Methodology, 27(3), 1. https://doi.org/10.1145/3208952
Chicago Style (17th ed.) CitationKuchta, Tomasz, Hristina Palikareva, and Cristian Cadar. "Shadow Symbolic Execution for Testing Software Patches." ACM Transactions on Software Engineering & Methodology 27, no. 3 (2018): 1. https://doi.org/10.1145/3208952.
MLA (9th ed.) CitationKuchta, Tomasz, et al. "Shadow Symbolic Execution for Testing Software Patches." ACM Transactions on Software Engineering & Methodology, vol. 27, no. 3, 2018, p. 1, https://doi.org/10.1145/3208952.
Warning: These citations may not always be 100% accurate.