Cita APA (7a ed.)
CADAR, C., & SEN, K. (2013). Symbolic Execution for Software Testing: Three Decades Later. Communications of the ACM, 56(2), 82-91.
Cita Chicago Style (17a ed.)
CADAR, CRISTIAN, y KOUSHIK SEN. "Symbolic Execution for Software Testing: Three Decades Later." Communications of the ACM 56, no. 2 (2013): 82-91.
Cita MLA (9a ed.)
CADAR, CRISTIAN, y KOUSHIK SEN. "Symbolic Execution for Software Testing: Three Decades Later." Communications of the ACM, vol. 56, no. 2, 2013, pp. 82-91.
Precaución: Estas citas no son 100% exactas.