Cita APA (7a ed.)
Avgerinos, T., Rebert, A., Cha, S. K., & Brumley, D. (2016). Enhancing Symbolic Execution with Veritesting. Communications of the ACM, 59(6), 93-101.
Cita Chicago Style (17a ed.)
Avgerinos, Thanassis, Alexandre Rebert, Sang Kil Cha, y David Brumley. "Enhancing Symbolic Execution with Veritesting." Communications of the ACM 59, no. 6 (2016): 93-101.
Cita MLA (9a ed.)
Avgerinos, Thanassis, et al. "Enhancing Symbolic Execution with Veritesting." Communications of the ACM, vol. 59, no. 6, 2016, pp. 93-101.
Precaución: Estas citas no son 100% exactas.