BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jiang:Mingyue

Contributed to:

CASE 20152015
SEKE 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.