Cadar, C., Godefroid, P., Khurshid, S., Păsăreanu, C. S., Sen, K., Tillmann, N., & Visser, W. (2011, May 21). Symbolic execution for software testing in practice: Preliminary assessment. 2011 33rd International Conference on Software Engineering (ICSE), 1066-1071. https://doi.org/10.1145/1985793.1985995
Citace podle Chicago (17th ed.)Cadar, Cristian, Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, a Willem Visser. "Symbolic Execution for Software Testing in Practice: Preliminary Assessment." 2011 33rd International Conference on Software Engineering (ICSE) 21 May. 2011: 1066-1071. https://doi.org/10.1145/1985793.1985995.
Citace podle MLA (9th ed.)Cadar, Cristian, et al. "Symbolic Execution for Software Testing in Practice: Preliminary Assessment." 2011 33rd International Conference on Software Engineering (ICSE), 21 May. 2011, pp. 1066-1071, https://doi.org/10.1145/1985793.1985995.