TFA: an efficient and precise virtual method call resolution for Java.
Xilong ZhuoChenyi ZhangPublished in: Formal Aspects Comput. (2020)
Keyphrases
- preprocessing
- high precision
- edge detection
- pairwise
- high accuracy
- synthetic data
- detection method
- support vector machine svm
- computationally efficient
- virtual environment
- data sets
- computational cost
- experimental evaluation
- objective function
- optimization method
- segmentation method
- classification method
- modeling method
- support vector machine
- high resolution
- prior knowledge
- multiscale
- bayesian networks
- similarity measure
- neural network