This paper presents anautomated technique for repairing network programs from unit tests . The approach localizes the fault through symbolic reasoning, and synthesizes apatch such that the repaired program can pass all tests . It applies domain-specific abstraction to simplify network data structures and utilizesmodular analysis to facilitate function summary reuse for symbolic analysis . Weimplement the proposed techniques in a tool called NetRep and evaluate it on 10benchmarks adapted from real-world software-defined networking controllers . Theevaluation results demonstrate the effectiveness and efficiency of NetRep forrepairing network programs. The evaluation results demonstrate

Author(s) : Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo

Links : PDF - Abstract

Code :

Keywords : network - netrep - programs - analysis - demonstrate -

Leave a Reply

Your email address will not be published. Required fields are marked *