by Domenico Cotroneo, Alessio Foggia, Cristina Improta, Pietro Liguori and Roberto Natella
Reference:
Automating the correctness assessment of AI-generated code for security contexts (Domenico Cotroneo, Alessio Foggia, Cristina Improta, Pietro Liguori and Roberto Natella), In Journal of Systems and Software, volume 216, 2024.
Bibtex Entry:
@article{COTRONEO2024112113,
title = {Automating the correctness assessment of AI-generated code for security contexts},
journal = {Journal of Systems and Software},
volume = {216},
pages = {112113},
year = {2024},
issn = {0164-1212},
doi = {https://doi.org/10.1016/j.jss.2024.112113},
url = {https://www.sciencedirect.com/science/article/pii/S0164121224001584},
author = {Domenico Cotroneo and Alessio Foggia and Cristina Improta and Pietro Liguori and Roberto Natella},
keywords = {Code correctness, AI code generators, Assembly, Offensive security, Symbolic execution},
ack={FLEGREA},
}