Travelled to:
1 × Russia
Collaborated with:
A.Petrenko
Talks about:
automata (1) generat (1) specif (1) output (1) model (1) input (1) test (1)
Person: Q. M. Tan
DBLP: Tan:Q=_M=
Contributed to:
Wrote 1 papers:
- IWTCS-1998-TanP #automaton #generative #specification #testing
- Test Generation for Specifications Modeled by Input/Output Automata (QMT, AP), pp. 83–100.