Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations.

Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist

Browse the full NDSS paper archive.