SDNRacer: detecting concurrency violations in software-defined networks.
Jeremie MiserezPavol BielikAhmed El-HassanyLaurent VanbeverMartin T. VechevPublished in: SOSR (2015)
Keyphrases
- software systems
- software tools
- case study
- software package
- development process
- network structure
- computer systems
- user interface
- social networks
- network analysis
- software development
- open source
- software architecture
- software engineering
- automatic detection
- database systems
- network model
- software developers
- data flow