CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI.
Amanda S. FernandezKimberly A. CornellPublished in: SIGCSE (1) (2024)
Keyphrases
- artificial intelligence
- case based reasoning
- expert systems
- intelligent systems
- machine learning
- lecture notes in artificial intelligence
- john mccarthy
- ai community
- ai methods
- ai systems
- knowledge representation
- learning process
- higher education
- high school
- cooperative learning
- learning systems
- internet technology
- online learning
- intelligent behavior
- computer science