APA (7th ed.) Citation

Poulding, S., & Clark, J. A. (2010). Efficient Software Verification: Statistical Testing Using Automated Search. IEEE transactions on software engineering, 36(6), 763-777. https://doi.org/10.1109/TSE.2010.24

Chicago Style (17th ed.) Citation

Poulding, Simon, and John A. Clark. "Efficient Software Verification: Statistical Testing Using Automated Search." IEEE Transactions on Software Engineering 36, no. 6 (2010): 763-777. https://doi.org/10.1109/TSE.2010.24.

MLA (9th ed.) Citation

Poulding, Simon, and John A. Clark. "Efficient Software Verification: Statistical Testing Using Automated Search." IEEE Transactions on Software Engineering, vol. 36, no. 6, 2010, pp. 763-777, https://doi.org/10.1109/TSE.2010.24.