Teaching with angr: A Symbolic Execution Curriculum and CTF.
Jacob SpringerWu-chang FengPublished in: ASE @ USENIX Security Symposium (2018)
Keyphrases
- symbolic execution
- high school
- computer science curriculum
- cooperative learning
- science teachers
- test data generation
- static analysis
- school teachers
- elementary school
- teaching materials
- test generation
- source code
- secondary school
- primary school
- specification language
- teaching methods
- multiple intelligences
- teaching strategies
- curriculum development
- learning environment
- higher education
- science education
- english teaching
- professional development
- learning styles
- teacher education
- test cases
- genetic algorithm
- evolutionary algorithm
- software engineering
- general purpose
- database
- data flow
- pattern matching