Static Differential Program Analysis for Software-Defined Networks.
Tim NelsonAndrew D. FergusonShriram KrishnamurthiPublished in: FM (2015)
Keyphrases
- software tools
- software design
- software maintenance
- user interface
- source code
- network structure
- computer systems
- software systems
- software architecture
- dynamic routing
- dynamic analysis
- computer networks
- software development
- social network analysis
- complex networks
- case study
- social networks
- network analysis
- software developers
- genetic algorithm
- data mining
- static analysis
- software package
- neural network
- real time