Polyhedron over-approximation for complexity reduction in static analysis.

Yassamine Seladji Zheng Qu

Published in: Int. J. Comput. Math. Comput. Syst. Theory (2018)

Keyphrases

static analysis
complexity reduction
dynamic analysis
image coding
source code
fractal image compression
computational complexity
open source
test suite
case study
high quality
feature vectors
image data
image quality
compression ratio
regular expressions
reverse engineering
data structure