Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.

Yunfan Zhang Ruidong Zhu Yingfei Xiong Tao Xie

Published in: ASE (2022)

Keyphrases

computationally efficient
test generation
learning algorithm
support vector machine
verification method
machine learning
computer vision
error rate
static analysis