Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun: Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. SP 2023: 2517-2532