Evaluation

Stateful Protocol Benchmarks for Evaluation.

The Evaluation Results on Branch Coverage 

The Evaluation Results on Branch Coverage with Disabling Sequence Mutation

The Evaluation Results on States Coverage

The Evaluation Results on State Transition Coverage

The Evaluation Results on State Transition Coverage with Disabling Sequence Mutation

The Average State Path Length (APL) 

Number of Bugs Revealed by Fuzzers 

The Evaluation Results on Time-to-bug in seconds.

Number of Different Types Bugs Revealed by Fuzzers 

The Evaluation Results on Test Throughput