On Mobility of Software Processes. - Mingshu Li 001; Qiusong Yang; Jian Zhai; Guowei Yang 001 (SPW/ProSim, 2006)

An Algebraic Approach for Managing Inconsistencies in Software Processes, . - Qiusong Yang; Mingshu Li 001; Qing Wang 001; Guowei Yang 001; Jian Zhai; Juan Li 001; Lishan Hou; Yun Yang 001 (ICSP, 2007)

Regression model checking. - Guowei Yang 001; Matthew B. Dwyer; Gregg Rothermel (ICSM, 2009)

TestEra: A tool for testing Java programs using alloy specifications. - Shadi Abdul Khalek; Guowei Yang 001; Lingming Zhang 001; Darko Marinov; Sarfraz Khurshid (ASE, 2011)

Specification-Based Test Repair Using a Lightweight Formal Method. - Guowei Yang 001; Sarfraz Khurshid; Miryung Kim (FM, 2012)

Memoized symbolic execution. - Guowei Yang 001; Corina S. Pasareanu; Sarfraz Khurshid (ISSTA, 2012)

Memoise: a tool for memoized symbolic execution. - Guowei Yang 001; Sarfraz Khurshid; Corina S. Pasareanu (ICSE, 2013)

Property differencing for incremental checking. - Guowei Yang 001; Sarfraz Khurshid; Suzette Person; Neha Rungta (ICSE, 2014)

Feedback-driven dynamic invariant discovery. - Lingming Zhang 001; Guowei Yang 001; Neha Rungta; Suzette Person; Sarfraz Khurshid (ISSTA, 2014)

Directed Incremental Symbolic Execution. - Guowei Yang 001; Suzette Person; Neha Rungta; Sarfraz Khurshid (ACM Trans. Softw. Eng. Methodol., 2014)

Compositional Symbolic Execution with Memoized Replay. - Rui Qiu; Guowei Yang 001; Corina S. Pasareanu; Sarfraz Khurshid (ICSE (1), 2015)

Quantification of Software Changes through Probabilistic Symbolic Execution (N). - Antonio Filieri; Corina S. Pasareanu; Guowei Yang 001 (ASE, 2015)

Evaluating Architectural Design Decision Paradigms in Global Software Development. - Meiru Che; Dewayne E. Perry; Guowei Yang 001 (Int. J. Softw. Eng. Knowl. Eng., 2015)

Verification of Architectural Constraints on Sequences of Method Invocations. - Stuart Siroky; Rodion M. Podorozhny; Guowei Yang 001 (ACM SIGSOFT Softw. Eng. Notes, 2015)

Distributed Assertion Checking Using Symbolic Execution. - Guowei Yang 001; Quan Chau Dong Do; Junye Wen (ACM SIGSOFT Softw. Eng. Notes, 2015)

Regression test selection for Android applications. - Quan Chau Dong Do; Guowei Yang 001; Meiru Che; Darren Hui; Jefferson Ridgeway (MOBILESoft, 2016)

Redroid: A Regression Test Selection Approach for Android Applications. - Quan Chau Dong Do; Guowei Yang 001; Meiru Che; Darren Hui; Jefferson Ridgeway (SEKE, 2016)

Staged Symbolic Execution for Parallel Property Checking. - Junye Wen; Guowei Yang 001 (ACM SIGSOFT Softw. Eng. Notes, 2016)

Who Should Be Selected to Perform a Task in Crowdsourced Testing? - Qiang Cui 001; Junjie Wang 001; Guowei Yang 001; Miao Xie; Qing Wang 001; Mingshu Li 001 (COMPSAC (1), 2017)

A synergistic approach for distributed symbolic execution using test ranges. - Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Guowei Yang 001 (ICSE (Companion Volume), 2017)

CQM: coverage-constrained quality maximization in crowdsourcing test. - Miao Xie; Qing Wang 001; Qiang Cui 001; Guowei Yang 001; Mingshu Li 001 (ICSE (Companion Volume), 2017)

COCOON: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint. - Miao Xie; Qing Wang 001; Guowei Yang 001; Mingshu Li 001 (ISSRE, 2017)

How do Android operating system updates impact apps? - Guowei Yang 001; Jeffrey Jones; Austin Moninger; Meiru Che (MOBILESoft@ICSE, 2018)

Using Test Ranges to Improve Symbolic Execution. - Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Junye Wen; Guowei Yang 001 (NFM, 2018)

Parallel Property Checking with Symbolic Execution. - Junye Wen; Guowei Yang 001 (SEKE, 2018)

Parallel property checking with staged symbolic execution. - Junye Wen; Guowei Yang 001 (SAC, 2019)

Chapter Five - Advances in Symbolic Execution. - Guowei Yang 001; Antonio Filieri; Mateus Borges; Donato Clun; Junye Wen (Adv. Comput., 2019)

A synergistic approach to improving symbolic execution using test ranges. - Guowei Yang 001; Rui Qiu; Sarfraz Khurshid; Corina S. Pasareanu; Junye Wen (Innov. Syst. Softw. Eng., 2019)

Summary-guided incremental symbolic execution. - Qiuping Yi; Junye Wen; Guowei Yang 001 (ICSE (Companion Volume), 2020)

Constraint Solving with Deep Learning for Symbolic Execution. - Junye Wen; Mujahid Khan; Meiru Che; Yan Yan 002; Guowei Yang 001 (CoRR, 2020)

API Change Impact Analysis for Android Apps. - Tarek Mahmud; Mujahid Khan; Jihan Rouijel; Meiru Che; Guowei Yang 001 (COMPSAC, 2021)

Audio-Visual Event Localization via Recursive Fusion by Joint Co-Attention. - Bin Duan; Hao Tang 005; Wei Wang 108; Ziliang Zong; Guowei Yang 001; Yan Yan 002 (WACV, 2021)

Android Compatibility Issue Detection Using API Differences. - Tarek Mahmud; Meiru Che; Guowei Yang 001 (SANER, 2021)

Android API Field Evolution and Its Induced Compatibility Issues. - Tarek Mahmud; Meiru Che; Guowei Yang 001 (ESEM, 2022)

ACID: An API Compatibility Issue Detector for Android Apps. - Tarek Mahmud; Meiru Che; Guowei Yang 001 (ICSE-Companion, 2022)

Evaluating and Improving Neural Program-Smoothing-based Fuzzing. - Mingyuan Wu; Ling Jiang; Jiahong Xiang; Yuqun Zhang; Guowei Yang 001; Huixin Ma; Sen Nie; Shi Wu; Heming Cui; Lingming Zhang 001 (ICSE, 2022)

Feedback-Driven Incremental Symbolic Execution. - Qiuping Yi; Guowei Yang 001 (ISSRE, 2022)

An IoT Edge Computing Framework Using Cordova Accessor Host. - Anne H. H. Ngu; Jesuloluwa S. Eyitayo; Guowei Yang 001; Colin Campbell; Quan Z. Sheng; Jianyuan Ni (IEEE Internet Things J., 2022)

POSTER: Toward Intelligent Cyber Attacks for Moving Target Defense Techniques in Software-Defined Networking. - Tina Moghaddam; Guowei Yang 001; Chandra Thapa; Seyit Camtepe; Dan Dongseong Kim (AsiaCCS, 2023)

SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices. - Ziyou Jiang; Lin Shi 006; Guowei Yang 001; Qing Wang 001 (ASE, 2023)

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. - Mingyuan Wu; Yicheng Ouyang; Minghai Lu; Junjie Chen 003; Yingquan Zhao; Heming Cui; Guowei Yang 001; Yuqun Zhang (ESEC/SIGSOFT FSE, 2023)

Intelligent Constraint Classification for Symbolic Execution. - Junye Wen; Tarek Mahmud; Meiru Che; Yan Yan 002; Guowei Yang 001 (SANER, 2023)

Analyzing the impact of API changes on Android apps. - Tarek Mahmud; Meiru Che; Guowei Yang 001 (J. Syst. Softw., 2023)

Detecting Android API Compatibility Issues With API Differences. - Tarek Mahmud; Meiru Che; Guowei Yang 001 (IEEE Trans. Software Eng., 2023)

MTD in Plain Sight: Hiding Network Behavior in Moving Target Defenses. - Tina Moghaddam; Guowei Yang 001; Chandra Thapa; Seyit Camtepe; Dan Dongseong Kim (DSN-S, 2024)

APICIA: An API Change Impact Analyzer for Android Apps. - Tarek Mahmud; Meiru Che; Jihan Rouijel; Mujahid Khan; Guowei Yang 001 (ICSE Companion, 2024)

Concrete Constraint Guided Symbolic Execution. - Yue Sun; Guowei Yang 001; Shichao Lv; Zhi Li 018; Limin Sun 001 (ICSE, 2024)

An Empirical Investigation on Android App Testing Practices. - Tarek Mahmud; Meiru Che; Anne H. H. Ngu; Guowei Yang 001 (ISSRE, 2024)

PatUntrack: Automated Generating Patch Examples for Issue Reports without Tracked Insecure Code. - Ziyou Jiang; Lin Shi 006; Guowei Yang 001; Qing Wang 001 (ASE, 2024)

MTDSense: AI-Based Fingerprinting of Moving Target Defense Techniques in Software-Defined Networking. - Tina Moghaddam; Guowei Yang 001; Chandra Thapa; Seyit Camtepe; Dan Dongseong Kim (CoRR, 2024)

Automated Update of Android Deprecated API Usages with Large Language Models. - Tarek Mahmud; Bin Duan; Meiru Che; Awatif Yasmin; Anne H. H. Ngu; Guowei Yang 001 (CoRR, 2024)

An empirical study on compatibility issues in Android API field evolution. - Tarek Mahmud; Meiru Che; Guowei Yang 001 (Inf. Softw. Technol., 2024)

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding. - Qiuping Yi; Yifan Yu; Guowei Yang 001 (Proc. ACM Program. Lang., 2024)

Enhancing the Adversarial Robustness via Manifold Projection. - Zhiting Li; Shibai Yin; Tai-Xiang Jiang; Yexun Hu; Jia-Mian Wu; Guowei Yang 001; Guisong Liu (AAAI, 2025)

Mimicking the Familiar: Dynamic Command Generation for Information Theft Attacks in LLM Tool-Learning System. - Ziyou Jiang; Mingyang Li; Guowei Yang 001; Junjie Wang 001; Yuekai Huang; Zhiyuan Chang; Qing Wang 001 (ACL (1), 2025)

Testing Android Third Party Libraries with LLMs to Detect Incompatible APIs. - Tarek Mahmud; Bin Duan; Meiru Che; Anne H. H. Ngu; Guowei Yang 001 (Forge@ICSE, 2025)

Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach. - Tarek Mahmud; Bin Duan; Corina S. Pasareanu; Guowei Yang 001 (CoRR, 2025)

Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks. - Bin Duan; Matthew B. Dwyer; Guowei Yang 001 (CoRR, 2025)

Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library. - Bin Duan; Tarek Mahmud; Meiru Che; Yan Yan 002; Naipeng Dong; Dan Dongseong Kim; Guowei Yang 001 (CoRR, 2025)