Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo. Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM Trans. Netw., 31(3):994-1009, June 2023. [doi]
@article{ChenWZRNL23,
title = {Synthesizing Formal Network Specifications From Input-Output Examples},
author = {Haoxian Chen and Chenyuan Wu and Andrew Zhao and Mukund Raghothaman and Mayur Naik and Boon Thau Loo},
year = {2023},
month = {June},
doi = {10.1109/TNET.2022.3208551},
url = {https://doi.org/10.1109/TNET.2022.3208551},
researchr = {https://researchr.org/publication/ChenWZRNL23},
cites = {0},
citedby = {0},
journal = {IEEE/ACM Trans. Netw.},
volume = {31},
number = {3},
pages = {994-1009},
}