A Story of Parametric Trace Slicing, Garbage and Static Analysis.
Giles RegerPublished in: PrePost@iFM (2017)
Keyphrases
- static analysis
- dynamic analysis
- source code
- malicious code
- program slicing
- symbolic execution
- abstract interpretation
- java card
- regular expressions
- interactive storytelling
- garbage collection
- test generation
- story generation
- test suite
- artificial intelligence
- third party
- databases
- anomaly detection
- open source
- query processing
- database