Yutaka Takita, Masatake Miyabe, Hiroshi Tomonaga, Naoki Oguchi. Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1471-1476, IEEE, 2020. [doi]
Abstract is missing.