Cite
Automating Software Testing Using Program Analysis.
MLA
Godefroid, Patrice, et al. “Automating Software Testing Using Program Analysis. (Cover Story).” IEEE Software, vol. 25, no. 5, Sept. 2008, pp. 30–37. EBSCOhost, https://doi.org/10.1109/MS.2008.109.
APA
Godefroid, P., de Halleux, P., Nori, A. V., Rajamani, S. K., Schulte, W., Tillmann, N., & Levin, M. Y. (2008). Automating Software Testing Using Program Analysis. (Cover story). IEEE Software, 25(5), 30–37. https://doi.org/10.1109/MS.2008.109
Chicago
Godefroid, Patrice, Peli de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, and Michael Y. Levin. 2008. “Automating Software Testing Using Program Analysis. (Cover Story).” IEEE Software 25 (5): 30–37. doi:10.1109/MS.2008.109.