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
Citácia 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.
Citácia podľa MLA (8th 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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..