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
ISO-690 (author-date, English)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.
Modern Language Association 9th editionLuckow, K., R. Kersten, und C. Pasareanu. „Complexity Vulnerability Analysis Using Symbolic Execution.“. Software Testing: Verification & Reliability, Bd. 30, November 2020, S. 1-27, https://doi.org/10.1002/stvr.1716.
Mohr Siebeck - Recht (Deutsch - Österreich)Luckow, Kasper/Kersten, Rody/Pasareanu, Corina: Complexity vulnerability analysis using symbolic execution., Software Testing: Verification & Reliability 2020, 1-27.
Emerald - HarvardLuckow, K., Kersten, R. und Pasareanu, C. (2020), „Complexity vulnerability analysis using symbolic execution.“, Software Testing: Verification & Reliability, Vol. 30, S. 1-27.