Travelled to:
1 × Hungary
Collaborated with:
D.Qi A.Roychoudhury
Talks about:
symbol (1) output (1) explor (1) path (1) base (1)
Person: Hoang D. T. Nguyen
DBLP: Nguyen:Hoang_D=_T=
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2011-QiNR
- Path exploration based on symbolic output (DQ, HDTN, AR), pp. 278–288.