APA (7th ed.) Citation

Zeng, Z., Talupuru, K. R., & Ciesielski, M. (2005). Functional test generation based on word-level SAT. Journal of Systems Architecture, 51(8), 488. https://doi.org/10.1016/j.sysarc.2004.10.006

Chicago Style (17th ed.) Citation

Zeng, Zhihong, Kesava R. Talupuru, and Maciej Ciesielski. "Functional Test Generation Based on Word-level SAT." Journal of Systems Architecture 51, no. 8 (2005): 488. https://doi.org/10.1016/j.sysarc.2004.10.006.

MLA (9th ed.) Citation

Zeng, Zhihong, et al. "Functional Test Generation Based on Word-level SAT." Journal of Systems Architecture, vol. 51, no. 8, 2005, p. 488, https://doi.org/10.1016/j.sysarc.2004.10.006.