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