Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- stanford university
- classifier systems
- model checking
- malicious behavior
- carnegie mellon university
- selected papers
- learning classifier systems
- abstract interpretation
- semi automatic
- regular expressions
- lecture notes
- source code
- software engineering
- machine learning
- pattern matching
- bayesian networks