Yi, Q., Yang, Z., Guo, S., Wang, C., Liu, J., & Zhao, C. (2018). Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE transactions on software engineering, 44(1), 25-43. https://doi.org/10.1109/TSE.2017.2659751
Citace podle Chicago (17th ed.)Yi, Qiuping, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, a Chen Zhao. "Eliminating Path Redundancy via Postconditioned Symbolic Execution." IEEE Transactions on Software Engineering 44, no. 1 (2018): 25-43. https://doi.org/10.1109/TSE.2017.2659751.
Citace podle MLA (9th ed.)Yi, Qiuping, et al. "Eliminating Path Redundancy via Postconditioned Symbolic Execution." IEEE Transactions on Software Engineering, vol. 44, no. 1, 2018, pp. 25-43, https://doi.org/10.1109/TSE.2017.2659751.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..