| |
| 1995 | ||
|---|---|---|
| 4 | EE | Piyu Tripathy, Behçet Sarikaya: Analysis and representation of test cases generated from LOTOS. Computer Communications 18(7): 493-506 (1995) |
| 1992 | ||
| 3 | Piyu Tripathy, Kshirasagar Naik: Generation of Adaptive Test Cases from Nondeterministic Finite State Models. Protocol Test Systems 1992: 309-320 | |
| 1991 | ||
| 2 | Piyu Tripathy, Behçet Sarikaya: Test Generation from LOTOS Specifications. IEEE Trans. Computers 40(4): 543-552 (1991) | |
| 1989 | ||
| 1 | Piyu Tripathy, Behçet Sarikaya: Test Generation from Protocol Specification. FORTE 1989: 329-343 | |
| 1 | Sagar Naik (Kshirasagar Naik) | [3] |
| 2 | Behçet Sarikaya | [1] [2] [4] |