Browse College of Engineering by Contributor "Xu, Tianyin"
Now showing items 1-3 of 3
(2020-05-05)Formal network verification is a rapidly advancing field of research, encompassing a wide array of verticals such as data plane verification, configuration verification, network software verification etc. More and more ...
(2019-12-09)Configuration is an inseparable piece of today’s software development. Due to its dynamic nature and lack of standardized checking procedure, misconfiguration has been one of the dominant factors contributing to software ...
(2020-05-11)A large percentage of real-world software configuration issues, such as misconfigurations, involve multiple interdependent configuration parameters. However, existing techniques and tools either do not consider dependencies ...