Improving Invariant Mining via Static Analysis.
Christoph SchulzeRance CleavelandPublished in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
- static analysis
- dynamic analysis
- source code
- malicious code
- symbolic execution
- test generation
- text mining
- data mining
- java card
- abstract interpretation
- regular expressions
- knowledge discovery
- pattern mining
- test suite
- artificial intelligence
- open source
- data analysis
- keywords
- database systems
- test case generation
- data sets