PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jiang, Mingyue"

Author of the publication

copydeleteadd this publication to your clipboard
Petri net based test case generation for evolved specification.

, , , , and . SCIENCE CHINA Information Sciences, 59 (8): 080105:1-080105:25 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chenming Jiang University of Stuttgart

 

Other publications of authors with the same name

Modelling and Verification of Port Based Component Composition., and . QSIC, page 86-91. IEEE Computer Society, (2009)Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications., , , and . QSIC, page 341-344. IEEE Computer Society, (2010)Port-Based Reliability Computing for Service Composition., , and . IEEE Trans. Services Computing, 5 (3): 422-436 (2012)Model Checking Service Component Composition by SPIN., , and . ACIS-ICIS, page 1029-1034. IEEE Computer Society, (2009)Reliability Computing for Service Composition., and . SSIRI, page 449-450. IEEE Computer Society, (2009)A metamorphic testing approach for supporting program repair without the need for a test oracle., , , , and . Journal of Systems and Software, (2017)Port Based Reliability Computing for Service Composition., and . IEEE SCC, page 403-410. IEEE Computer Society, (2009)Dynamic Group Decision Making Consistence Convergence Rate Analysis Based on Inertia Particle Swarm Optimization Algorithm., and . JCAI, page 492-496. IEEE Computer Society, (2009)Testing Model Transformation Programs using Metamorphic Testing., , , , and . SEKE, page 94-99. Knowledge Systems Institute Graduate School, (2014)From textual use cases to service component models., , and . PESOS@ICSE, page 8-14. ACM, (2011)