Author of the publication

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.

 

Other publications of authors with the same name

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