Test Generation from Protocol Specification.

Piyu Tripathy, Behet Sarikaya

Browse the full FORTE paper archive.