Automatic Repair for Network Programs.

Lei Shi Yuepeng Wang Rajeev Alur Boon Thau Loo

Published in: TACAS (2) (2022)

Keyphrases

databases
network model
complex networks
learning algorithm
computer programs
network structure
mobile robot
peer to peer
fully automatic
response time
network traffic
computer networks
wireless sensor networks
data flow
network management
case study
network resources
distributed network