Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks.
Lalita Jategaonkar JagadeesanVeena B. MendirattaPublished in: ISSRE Workshops (2017)
Keyphrases
- source code
- software systems
- software development
- complex systems
- software maintenance
- learning analytics
- industry standard
- formal methods
- social networks
- hardware designs
- linux kernel
- program understanding
- safety critical
- static analysis
- software design
- software tools
- business intelligence
- java programs
- data mining
- clone detection
- programming tool
- computer systems
- software architecture
- control flow
- network structure
- semi automated
- software repositories
- software projects
- complex networks
- automated tools
- user interface
- computer networks
- big data
- software developers