Travelled to:
1 × France
Collaborated with:
∅
Talks about:
counterexampl (1) context (1) machin (1) state (1) infer (1) test (1) long (1)
Person: Muhammad-Naeem Irfan
DBLP: Irfan:Muhammad=Naeem
Contributed to:
Wrote 1 papers:
- ICST-2010-Irfan #state machine #testing
- State Machine Inference in Testing Context with Long Counterexamples (MNI), pp. 508–511.