APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Yi, Qiuping, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, and 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.

MLA (9th ed.) Citation

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.