Author of the publication

GUIDER: GUI structure and vision co-guided test script repair for Android apps.

, , , , , , , and . ISSTA, page 191-203. ACM, (2021)

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

初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions)., , , and . 计算机科学, 42 (4): 25-30 (2015)Evolutionary computation for figure-ground separation., and . ICNN, page 1673-1678. IEEE, (1997)Aggregating pairwise semantic differences for few-shot claim verification., and . PeerJ Comput. Sci., (2022)Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning., , , , and . ACM Trans. Embed. Comput. Syst., 22 (5s): 146:1-146:21 (October 2023)An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation., , , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 467-490. Springer, (2021)Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS., , , and . Int. J. Softw. Informatics, 12 (4): 453-483 (2022)Synthesizing barrier certificates using neural networks., , , and . HSCC, page 25:1-25:11. ACM, (2020)Provable secure attribute-based proxy signature., , , and . J. Intell. Fuzzy Syst., 38 (1): 337-343 (2020)Automated Fact-Checking: A Survey., , and . CoRR, (2021)Figure-Ground Separation: A Case Study in Energy Minimization via Evolutionary Computing., and . EMMCVPR, volume 1223 of Lecture Notes in Computer Science, page 375-390. Springer, (1997)