Debugging Static Analysis.
Lisa Nguyen Quang DoStefan KrügerPatrick HillKarim AliEric BoddenPublished in: IEEE Trans. Software Eng. (2020)
Keyphrases
- static analysis
- dynamic analysis
- source code
- abstract interpretation
- malicious code
- symbolic execution
- java card
- regular expressions
- reverse engineering
- test generation
- test suite
- pattern matching
- model based diagnosis
- java programs
- hardware designs
- software engineering
- feature space
- artificial intelligence
- data mining