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
Chicago-Zitierstil (17. Ausg.)Cha, Sooyoung, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, und 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.
MLA-Zitierstil (9. Ausg.)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.