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]
Abstract is missing.