Static Analysis of Dynamic Communication Systems by Partner Abstraction.
Jörg BauerReinhard WilhelmPublished in: SAS (2007)
Keyphrases
- communication systems
- static analysis
- dynamic analysis
- information processing systems
- source code
- blind equalization
- computer systems
- reverse engineering
- multiple access
- regular expressions
- high level
- test generation
- malicious code
- communication technologies
- underwater acoustic
- symbolic execution
- ultra wideband
- databases
- abstract interpretation
- channel estimation
- real world
- java card
- machine learning
- test suite
- software engineering