An Estelle Based Test Generation Tool for Modular Specifications.

Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behet Sarikaya

Browse the full FORTE paper archive.