Cha, S., Hong, S., Bak, J., Kim, J., Lee, J., & Oh, H. (2022). Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. IEEE transactions on software engineering, 48(9), 3640-3663. https://doi.org/10.1109/TSE.2021.3101870
Citace podle Chicago (17th ed.)Cha, Sooyoung, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, a Hakjoo Oh. "Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics." IEEE Transactions on Software Engineering 48, no. 9 (2022): 3640-3663. https://doi.org/10.1109/TSE.2021.3101870.
Citace podle MLA (9th ed.)Cha, Sooyoung, et al. "Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics." IEEE Transactions on Software Engineering, vol. 48, no. 9, 2022, pp. 3640-3663, https://doi.org/10.1109/TSE.2021.3101870.