Travelled to:1 × France
1 × The Netherlands
Collaborated with:G.Luo G.v.Bochmann A.Petrenko N.Yevtushenko A.Lebedev R.Dssouli M.Dubuc A.Ghedamsi
Talks about:test (3) nondeterminist (1) protocol (1) portion (1) generat (1) control (1) conform (1) specif (1) machin (1) state (1)
Person: Anindya Das
DBLP: Das:Anindya
Facilitated 1 volumes:
EdContributed to:
19931991Wrote 3 papers:
- IWPTS-1993-LuoDB #generative #specification #testing
- Generating Tests for Control Portion of SDL Specifications (GL, AD, GvB), pp. 51–66.
- IWPTS-1993-PetrenkoYLD #consistency #nondeterminism #protocol #state machine #testing
- Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.
- IWPTS-1991-BochmannDDDGL #fault #modelling #testing
- Fault Models in Testing (GvB, AD, RD, MD, AG, GL), pp. 17–30.