Precise Data-Driven Approximation for Program Analysis via Fuzzing.

Nikhil Parasaram Earl T. Barr Sergey Mechtaev Marcel Böhme

Published in: ASE (2023)

Keyphrases

data driven
approximation algorithms
tensor product
polynomial time approximation
data sets
real world
genetic algorithm
computer vision
image sequences
multiscale
lower bound
probabilistic model
closed form
approximation schemes