LUCKOW, Kasper, KERSTEN, Rody und PASAREANU, Corina, 2020. Complexity vulnerability analysis using symbolic execution. Software Testing: Verification & Reliability. 1 November 2020. Vol. 30, , p. 1-27. DOI 10.1002/stvr.1716.
Elsevier - Harvard (with titles)Luckow, K., Kersten, R., Pasareanu, C., 2020. Complexity vulnerability analysis using symbolic execution. Software Testing: Verification & Reliability 30, 1-27. https://doi.org/10.1002/stvr.1716
American Psychological Association 7th editionLuckow, K., Kersten, R., & Pasareanu, C. (2020). Complexity vulnerability analysis using symbolic execution. Software Testing: Verification & Reliability, 30, 1-27. https://doi.org/10.1002/stvr.1716
Springer - Basic (author-date)Luckow K, Kersten R, Pasareanu C (2020) Complexity vulnerability analysis using symbolic execution.. Software Testing: Verification & Reliability 30:1-27. https://doi.org/10.1002/stvr.1716
Juristische Zitierweise (Stüber) (Deutsch)Luckow, Kasper/ Kersten, Rody/ Pasareanu, Corina, Complexity vulnerability analysis using symbolic execution., Software Testing: Verification & Reliability 2020, 1-27.