Test Generation from Protocol Specification. - Piyu Tripathy; Behçet Sarikaya (FORTE, 1989)

Test Generation from LOTOS Specifications. - Piyu Tripathy; Behçet Sarikaya (IEEE Trans. Computers, 1991)

Generation of Adaptive Test Cases from Nondeterministic Finite State Models. - Piyu Tripathy; Kshirasagar Naik (Protocol Test Systems, 1992)

Analysis and representation of test cases generated from LOTOS. - Piyu Tripathy; Behçet Sarikaya (Comput. Commun., 1995)