@inproceedings {227647, author = {Soo-Jin Moon and Jeffrey Helt and Yifei Yuan and Yves Bieri and Sujata Banerjee and Vyas Sekar and Wenfei Wu and Mihalis Yannakakis and Ying Zhang}, title = {Alembic: Automated Model Inference for Stateful Network Functions}, booktitle = {16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)}, year = {2019}, isbn = {978-1-931971-49-2}, address = {Boston, MA}, pages = {699--718}, url = {https://www.usenix.org/conference/nsdi19/presentation/moon}, publisher = {USENIX Association}, month = feb }