An Interactive Ranking Algorithm for Program Static Analysis.

Liang Sun Wenfeng Lin Shaoxian Shu Liuying Li

Published in: QRS Companion (2021)

Keyphrases

static analysis
ranking algorithm
dynamic analysis
symbolic execution
source code
link analysis
regular expressions
test generation
java card
manifold ranking
ranking functions
test suite
abstract interpretation
web image search
ranking scheme
link structure
user interaction
databases
open source
real world