Program Flow Graph Construction For Static Analysis of MPI Programs.
Dale R. ShiresLori L. PollockSara SprenklePublished in: PDPTA (1999)
Keyphrases
- static analysis
- graph construction
- symbolic execution
- dynamic analysis
- abstract interpretation
- source code
- graph based semi supervised learning
- semi supervised learning
- knn
- k nearest neighbor
- test generation
- semi supervised
- regular expressions
- semi supervised classification
- dimensionality reduction
- multi label
- label propagation
- spectral clustering
- api calls
- test suite
- neural network
- similarity measure
- data sets