Amanda S. Fernandez, Kimberly A. Cornell. CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI. In Ben Stephenson, Jeffrey A. Stone, Lina Battestilli, Samuel A. Rebelsky, Libby Shoop, editors, Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024. pages 345-351, ACM, 2024. [doi]
@inproceedings{FernandezC24,
title = {CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI},
author = {Amanda S. Fernandez and Kimberly A. Cornell},
year = {2024},
doi = {10.1145/3626252.3630817},
url = {https://doi.org/10.1145/3626252.3630817},
researchr = {https://researchr.org/publication/FernandezC24},
cites = {0},
citedby = {0},
pages = {345-351},
booktitle = {Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024},
editor = {Ben Stephenson and Jeffrey A. Stone and Lina Battestilli and Samuel A. Rebelsky and Libby Shoop},
publisher = {ACM},
}