SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs.

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

Browse the full ISSTA paper archive.