Christakis, M., Muller, P., & Wustholz, V. (2016, May 14). Guiding Dynamic Symbolic Execution toward Unverified Program Executions. Proceedings / International Conference on Software Engineering, 144-155. https://doi.org/10.1145/2884781.2884843
Citace podle Chicago (17th ed.)Christakis, Maria, Peter Muller, a Valentin Wustholz. "Guiding Dynamic Symbolic Execution Toward Unverified Program Executions." Proceedings / International Conference on Software Engineering 14 May. 2016: 144-155. https://doi.org/10.1145/2884781.2884843.
Citace podle MLA (9th ed.)Christakis, Maria, et al. "Guiding Dynamic Symbolic Execution Toward Unverified Program Executions." Proceedings / International Conference on Software Engineering, 14 May. 2016, pp. 144-155, https://doi.org/10.1145/2884781.2884843.