Yingfei Xiong, Bo Wang. L2S: A Framework for Synthesizing the Most Probable Program under a Specification. ACM Transactions on Software Engineering Methodology, 31(3), 2022. [doi]
@article{XiongW22-0,
title = {L2S: A Framework for Synthesizing the Most Probable Program under a Specification},
author = {Yingfei Xiong and Bo Wang},
year = {2022},
doi = {10.1145/3487570},
url = {https://doi.org/10.1145/3487570},
researchr = {https://researchr.org/publication/XiongW22-0},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {31},
number = {3},
}