( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Petri net based test case generation for evolved specification.

, , , , и . Sci. China Inf. Sci., 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.

Mingyue Zhang

Ping Jiang

Xin Jiang

Kaiyun Jiang

Jiang Yi

 

Другие публикации лиц с тем же именем

Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence., , , , , , и . ICFEM, том 10610 из Lecture Notes in Computer Science, стр. 413-429. Springer, (2017)Formal modeling and verification of secure mobile agent systems., , , и . CASE, стр. 545-550. IEEE, (2015)Petri net based test case generation for evolved specification., , , , и . Sci. China Inf. Sci., 59 (8): 080105:1-080105:25 (2016)Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks., , и . IEEE Trans. Intell. Transp. Syst., 17 (12): 3330-3343 (2016)An application study on multimodal fake news detection based on Albert-ResNet50 Model., , , , и . Multim. Tools Appl., 83 (3): 8689-8706 (января 2024)Metamorphic testing of named entity recognition systems: A case study., , , , и . IET Softw., 16 (4): 386-404 (2022)A software-defined MAPE-K architecture for unmanned systems., , , и . Sci. China Inf. Sci., (мая 2023)Dense Crowd Counting Based on ResNet., , , , , и . CCIS, стр. 455-459. IEEE, (2021)Perception Matters: Detecting Perception Failures of VQA Models Using Metamorphic Testing., , , и . CVPR, стр. 16908-16917. Computer Vision Foundation / IEEE, (2021)Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search., , , , и . Inf. Softw. Technol., (2021)