Interactive Graph Exploration for Comprehension of Static Analysis Results.
Rafael ToledoPublished in: ICSE (Companion Volume) (2021)
Keyphrases
- static analysis
- dynamic analysis
- source code
- abstract interpretation
- interactive exploration
- malicious code
- information visualization
- guided exploration
- random walk
- symbolic execution
- graph theory
- graph representation
- test suite
- directed graph
- user interaction
- visualization tool
- weighted graph
- regular expressions
- java card
- test generation
- real world
- open source
- feature space
- knowledge base