APA (7th ed.) Citation

Enoiu, E., Čaušević, A., Ostrand, T., Weyuker, E., Sundmark, D., & Pettersson, P. (2016). Automated test generation using model checking: An industrial evaluation. International Journal on Software Tools for Technology Transfer, 18(3), 335. https://doi.org/10.1007/s10009-014-0355-9

Chicago Style (17th ed.) Citation

Enoiu, Eduard, Adnan Čaušević, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, and Paul Pettersson. "Automated Test Generation Using Model Checking: An Industrial Evaluation." International Journal on Software Tools for Technology Transfer 18, no. 3 (2016): 335. https://doi.org/10.1007/s10009-014-0355-9.

MLA (9th ed.) Citation

Enoiu, Eduard, et al. "Automated Test Generation Using Model Checking: An Industrial Evaluation." International Journal on Software Tools for Technology Transfer, vol. 18, no. 3, 2016, p. 335, https://doi.org/10.1007/s10009-014-0355-9.