Harsha Sharma, Wenfei Wu, Bangwen Deng. Symbolic Execution for Network Functions with Time-Driven Logic. In 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020, Nice, France, November 17-19, 2020. pages 1-8, IEEE, 2020. [doi]
@inproceedings{SharmaWD20, title = {Symbolic Execution for Network Functions with Time-Driven Logic}, author = {Harsha Sharma and Wenfei Wu and Bangwen Deng}, year = {2020}, doi = {10.1109/MASCOTS50786.2020.9285941}, url = {https://doi.org/10.1109/MASCOTS50786.2020.9285941}, researchr = {https://researchr.org/publication/SharmaWD20}, cites = {0}, citedby = {0}, pages = {1-8}, booktitle = {28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020, Nice, France, November 17-19, 2020}, publisher = {IEEE}, isbn = {978-1-7281-9238-3}, }