L2S: a Framework for Synthesizing the Most Probable Program under a Specification

Yingfei Xiong, Bo Wang

TOSEM: ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, pp 1-45 · July 2022

Read paper View BibTeX

BibTeX

@article{TOSEM22,
  author = {Yingfei Xiong and Bo Wang},
  site_author_id_2 = {WangBo},
  title = {L2S: a Framework for Synthesizing the Most Probable Program under a Specification},
  year = {2022},
  month = {7},
  journal = {TOSEM: ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, pp 1-45}
}