Testing static analyses for precision and soundness.

Jubi Taneja Zhengyang Liu John Regehr

Published in: CGO (2020)

Keyphrases

high precision
dynamic analysis
statistical tests
high recall
data structure
video sequences
precision and recall
recall rate
data analysis
testing process
test data
database
data streams
multiscale
image segmentation
metadata
databases
data sets