most citedState Machine Mutation-based Testing Framework for Wireless Communication Protocols

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2024★ 6 cited

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…