Optimizing Prestate Copies in Runtime Verification of Function Postconditions.

Jean-Christophe Filliâtre Clément Pascutto

Published in: RV (2022)

Keyphrases

databases
objective function
search algorithm
piecewise linear
formal analysis
database
clustering algorithm
image segmentation
feature extraction
multiscale
wide range
evolutionary algorithm
control system