Travelled to:1 × Canada
1 × Sweden
Collaborated with:Z.Ding M.Zhou Y.Zhou T.Y.Chen F.Kuo Z.Zhou
Talks about:model (2) test (2) transform (1) metamorph (1) program (1) system (1) formal (1) verif (1) secur (1) mobil (1)
Person: Mingyue Jiang
DBLP: Jiang:Mingyue
Contributed to:
2015
2014Wrote 2 papers:
- CASE-2015-JiangDZZ #formal method #mobile #modelling #verification
- Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
- SEKE-2014-JiangCKZD #model transformation #source code #testing #using
- Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.