Symbolic Execution for Network Functions with Time-Driven Logic

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]

Abstract

Abstract is missing.