APA (7th ed.) Citation

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.) Citation

Kuchta, 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.) Citation

Kuchta, 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.