Reliability assessment for distributed systems via communication abstraction and refinement.

Lin Gui, Jun Sun, Yang Liu, Jin Song Dong

Browse the full ISSTA paper archive.