AWOSE: Probabilistic State Model for Consensus Algorithms' Fuzzing Frameworks.

Tannishtha Devgun, Gulshan Kumar, Rahul Saha, Alessandro Brighente, Mauro Conti

Browse the full AsiaCCS paper archive.