Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.

Satoshi Kura Natsuki Urabe Ichiro Hasuo

Published in: TACAS (2) (2019)

Keyphrases

probability theory
higher quality
belief networks
information retrieval
programming environment
computer programs
branch and bound
program execution
database
static analysis
moment invariants
high order
test cases
probability distribution
objective function
feature extraction
e learning
machine learning