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

熊英飞, 王博

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

阅读全文查看 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}
}