Institution Independent Static Analysis for CASL.
Till MossakowskiBartek KlinPublished in: WADT (2001)
Keyphrases
- static analysis
- dynamic analysis
- source code
- regular expressions
- java card
- malicious code
- test suite
- abstract interpretation
- test generation
- symbolic execution
- pattern matching
- model checking
- test case generation
- real world
- higher education
- operating system
- information extraction
- training set
- high level
- case study
- artificial intelligence