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

@inproceedings{ASE22,
  author = {Yunfan Zhang and Ruidong Zhu and Yingfei Xiong and Tao Xie},
  title = {Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification},
  year = {2022},
  month = {10},
  booktitle = {ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering},
  site_corr = {3}
}