Piyu Tripathy;Behçet Sarikaya
-;-
A Well-Defined Estelle Specification for the Automatic Test Generation
IEEE Transactions on Computers - Special issue on protocol engineering
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
IEEE Transactions on Software Engineering