Travelled to:
1 × Italy
Collaborated with:
Y.Xiong D.Hao L.Zhang T.Zhu T.Lan
Talks about:
specif (1) intern (1) assert (1) state (1) oracl (1) input (1) inner (1)
Person: Muyao Zhu
DBLP: Zhu:Muyao
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2015-XiongH0ZZL
- Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.