Regression verification for automated evaluation of students programs.
Milena Vujosevic-JanicicFilip MaricPublished in: Comput. Sci. Inf. Syst. (2020)
Keyphrases
- learning environment
- student learning
- undergraduate students
- computer programs
- college students
- formative evaluation
- learning experience
- distance learning
- model selection
- higher education
- e learning
- assessment process
- regression model
- assessment tool
- learning activities
- collaborative learning
- computer science students
- programming environments
- university students
- programming education
- control group
- high school
- intelligent tutoring systems
- learning outcomes
- problem based learning
- programming course
- teaching methods
- middle school
- computer software
- learning tools
- computer assisted
- symbolic execution
- model checking