CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI.

Amanda S. Fernandez, Kimberly A. Cornell

Browse the full SIGCSE paper archive.