APA (7th ed.) Citation

Kurian, E., Briola, D., Braione, P., & Denaro, G. (2023). Automatically generating test cases for safety-critical software via symbolic execution. Journal of Systems & Software, 199, N.PAG. https://doi.org/10.1016/j.jss.2023.111629

Chicago Style (17th ed.) Citation

Kurian, Elson, Daniela Briola, Pietro Braione, and Giovanni Denaro. "Automatically Generating Test Cases for Safety-critical Software via Symbolic Execution." Journal of Systems & Software 199 (2023): N.PAG. https://doi.org/10.1016/j.jss.2023.111629.

MLA (9th ed.) Citation

Kurian, Elson, et al. "Automatically Generating Test Cases for Safety-critical Software via Symbolic Execution." Journal of Systems & Software, vol. 199, 2023, p. N.PAG, https://doi.org/10.1016/j.jss.2023.111629.