Towards secure and dependable software-defined networks
Automatically patching errors in deployed software