On the feasibility of static analysis for BGP convergence.
Luca CittadiniMassimo RimondiniMatteo CoreaGiuseppe Di BattistaPublished in: Integrated Network Management (2009)
Keyphrases
- static analysis
- dynamic analysis
- source code
- malicious code
- anomaly detection
- java card
- regular expressions
- abstract interpretation
- symbolic execution
- test generation
- convergence rate
- test suite
- data sets
- semi automatic
- database
- test cases
- reverse engineering
- wireless sensor networks
- domain knowledge
- training set
- decision trees
- artificial intelligence
- real world
- test case generation