Author of the publication

Model Checking Service Component Composition by SPIN.

, , and . ACIS-ICIS, page 1029-1034. IEEE Computer Society, (2009)

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

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)Formal modeling and verification of secure mobile agent systems., , , and . CASE, page 545-550. IEEE, (2015)An application study on multimodal fake news detection based on Albert-ResNet50 Model., , , , and . Multim. Tools Appl., 83 (3): 8689-8706 (January 2024)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)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)Petri net based test case generation for evolved specification., , , , and . Sci. China Inf. Sci., 59 (8): 080105:1-080105:25 (2016)MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems., , , , and . Proc. ACM Softw. Eng., 1 (FSE): 2561-2583 (2024)Random grouping based resilient beamforming., , , and . Autom., (2021)