Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.

Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee

Browse the full FORTE paper archive.