A model-based approach to security flaw detection of network protocol implementations
Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution