State Machine Mutation-based Testing Framework for Wireless Communication Protocols

Syed Md Mukit Rashid, Tianwei Wu, Kai Tu +5

This paper proposes Proteus, a protocol state machine, property-guided, and budget-aware automated testing approach for discovering logical vulnerabilities in wireless protocol imp…