%0 Journal Article %1 journals/jcst/LiuDLZW20 %A Liu, Bin-Bin %A Dong, Wei %A Liu, Jiaxin %A Zhang, Yating %A Wang, Daiyan %D 2020 %J J. Comput. Sci. Technol. %K dblp %N 6 %P 1234-1257 %T ProSy: API-Based Synthesis with Probabilistic Model. %U http://dblp.uni-trier.de/db/journals/jcst/jcst35.html#LiuDLZW20 %V 35

@article{journals/jcst/LiuDLZW20, added-at = {2020-12-16T00:00:00.000+0100}, author = {Liu, Bin-Bin and Dong, Wei and Liu, Jiaxin and Zhang, Yating and Wang, Daiyan}, biburl = {https://www.bibsonomy.org/bibtex/2c68ef942653fe8a837f0ad95cb60eee2/dblp}, ee = {https://doi.org/10.1007/s11390-020-0520-4}, interhash = {bfa7726fabecd1958410ff81ab2b0720}, intrahash = {c68ef942653fe8a837f0ad95cb60eee2}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 6, pages = {1234-1257}, timestamp = {2024-04-08T14:30:41.000+0200}, title = {ProSy: API-Based Synthesis with Probabilistic Model.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst35.html#LiuDLZW20}, volume = 35, year = 2020 }