NameBenchmark

Benchmark models

    print · login   

Bibliography

FJST23
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist: Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. NDSS 2023
FJST23A
Artifact on Zenodo for the Paper [FJST23]. September 30, 2022.