Sun, Y., Yang, G., Lv, S., Li, Z., & Sun, L. (2024, April 14). Concrete Constraint Guided Symbolic Execution. Proceedings / International Conference on Software Engineering, 1496-1507. https://doi.org/10.1145/3597503.3639078
Chicago-Zitierstil (17. Ausg.)Sun, Yue, Guowei Yang, Shichao Lv, Zhi Li, und Limin Sun. "Concrete Constraint Guided Symbolic Execution." Proceedings / International Conference on Software Engineering 14 Apr. 2024: 1496-1507. https://doi.org/10.1145/3597503.3639078.
MLA-Zitierstil (9. Ausg.)Sun, Yue, et al. "Concrete Constraint Guided Symbolic Execution." Proceedings / International Conference on Software Engineering, 14 Apr. 2024, pp. 1496-1507, https://doi.org/10.1145/3597503.3639078.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.