Skeletal approximation enumeration for SMT solver testing.

Peisen Yao Heqing Huang Wensheng Tang Qingkai Shi Rongxin Wu Charles Zhang

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

dynamic programming
approximation algorithms
search space
software testing
statistical machine translation
test cases
human motion
approximation error
approximation methods
real time
genetic algorithm
video sequences
search algorithm
test set
orders of magnitude
error tolerance