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
Citace podle Chicago (17th ed.)Sun, Yue, Guowei Yang, Shichao Lv, Zhi Li, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..