A Specification Language for Static Analysis of Student Exercises.
Carsten KöllmannMichael GoedickePublished in: ASE (2008)
Keyphrases
- specification language
- static analysis
- symbolic execution
- award winning
- dynamic analysis
- formal specification
- multiple choice
- description language
- programming language
- source code
- test generation
- regular expressions
- java card
- software environment
- abstract interpretation
- open source
- search algorithm
- test suite
- database
- query language
- artificial intelligence