Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification.

Yutaka Takita, Masatake Miyabe, Hiroshi Tomonaga, Naoki Oguchi

Browse the full COMPSAC paper archive.