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
Chicago-Zitierstil (17. Ausg.)Christakis, Maria, Peter Muller, und 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.
MLA-Zitierstil (9. Ausg.)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.