Author of the publication

An MDE-based approach to the verification of SysML state machine diagram.

, , , , and . Internetware, page 9:1-9:7. ACM, (2012)

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

PI-REC: Progressive Image Reconstruction Network With Edge and Color Domain., , and . CoRR, (2019)Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading., , , , and . COMPSAC (1), page 149-158. IEEE, (2019)Preference-wise Testing of Android Apps via Test Amplification., , , , and . ACM Trans. Softw. Eng. Methodol., 32 (1): 4:1-4:37 (January 2023)Restore: Retrospective Fault Localization Enhancing Automated Program Repair., , , , , and . IEEE Trans. Software Eng., 48 (2): 309-326 (2022)Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?, , , , , and . ASE, page 1416-1428. IEEE, (2023)An MDE-based approach to the verification of SysML state machine diagram., , , , and . Internetware, page 9:1-9:7. ACM, (2012)一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components)., , , , and . 计算机科学, 44 (11): 98-103 (2017)Automatic Code Summarization: A Systematic Literature Review., and . CoRR, (2019)Efficient validation of self-adaptive applications by counterexample probability maximization., , , , , and . J. Syst. Softw., (2018)Enhancing example-based code search with functional semantics., , , , , , and . J. Syst. Softw., (2020)