Enoiu, E. P., Čaušević, A., Ostrand, T. J., Weyuker, E. J., 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-353. https://doi.org/10.1007/s10009-014-0355-9
Citace podle Chicago (17th ed.)Enoiu, Eduard P., Adnan Čaušević, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, a Paul Pettersson. "Automated Test Generation Using Model Checking: An Industrial Evaluation." International Journal on Software Tools for Technology Transfer 18, no. 3 (2016): 335-353. https://doi.org/10.1007/s10009-014-0355-9.
Citace podle MLA (9th ed.)Enoiu, Eduard P., et al. "Automated Test Generation Using Model Checking: An Industrial Evaluation." International Journal on Software Tools for Technology Transfer, vol. 18, no. 3, 2016, pp. 335-353, https://doi.org/10.1007/s10009-014-0355-9.