Guowei Yang

According to our database, Guowei Yang authored at least 44 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Detecting Android API Compatibility Issues With API Differences.

Tarek Mahmud, Meiru Che, Guowei Yang

IEEE Trans. Software Eng., July, 2023

Analyzing the impact of API changes on Android apps.

Tarek Mahmud, Meiru Che, Guowei Yang

J. Syst. Softw., June, 2023

Intelligent Constraint Classification for Symbolic Execution.

Junye Wen, Tarek Mahmud, Meiru Che, Yan Yan, Guowei Yang

Proceedings of the IEEE International Conference on Software Analysis, 2023

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing.

Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, Yuqun Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices.

Ziyou Jiang, Lin Shi, Guowei Yang, Qing Wang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

POSTER: Toward Intelligent Cyber Attacks for Moving Target Defense Techniques in Software-Defined Networking.

Tina Moghaddam, Guowei Yang, Chandra Thapa, Seyit Camtepe, Dan Dongseong Kim

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

An IoT Edge Computing Framework Using Cordova Accessor Host.

Anne H. H. Ngu, Jesuloluwa S. Eyitayo, Guowei Yang, Colin Campbell, Quan Z. Sheng, Jianyuan Ni

IEEE Internet Things J., 2022

Feedback-Driven Incremental Symbolic Execution.

Qiuping Yi, Guowei Yang

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Evaluating and Improving Neural Program-Smoothing-based Fuzzing.

Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yuqun Zhang, Guowei Yang, Huixin Ma, Sen Nie, Shi Wu, Heming Cui, Lingming Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

ACID: An API Compatibility Issue Detector for Android Apps.

Tarek Mahmud, Meiru Che, Guowei Yang

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Android API Field Evolution and Its Induced Compatibility Issues.

Tarek Mahmud, Meiru Che, Guowei Yang

Proceedings of the ESEM '22: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Helsinki, Finland, September 19, 2022

2021

Android Compatibility Issue Detection Using API Differences.

Tarek Mahmud, Meiru Che, Guowei Yang

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

Audio-Visual Event Localization via Recursive Fusion by Joint Co-Attention.

Bin Duan, Hao Tang, Wei Wang, Ziliang Zong, Guowei Yang, Yan Yan

Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021

API Change Impact Analysis for Android Apps.

Tarek Mahmud, Mujahid Khan, Jihan Rouijel, Meiru Che, Guowei Yang

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Constraint Solving with Deep Learning for Symbolic Execution.

Junye Wen, Mujahid Khan, Meiru Che, Yan Yan, Guowei Yang

CoRR, 2020

Summary-guided incremental symbolic execution.

Qiuping Yi, Junye Wen, Guowei Yang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

A synergistic approach to improving symbolic execution using test ranges.

Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen

Innov. Syst. Softw. Eng., 2019

Chapter Five - Advances in Symbolic Execution.

Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen

Adv. Comput., 2019

Parallel property checking with staged symbolic execution.

Junye Wen, Guowei Yang

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Parallel Property Checking with Symbolic Execution.

Junye Wen, Guowei Yang

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Using Test Ranges to Improve Symbolic Execution.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

How do Android operating system updates impact apps?

Guowei Yang, Jeffrey Jones, Austin Moninger, Meiru Che

Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

2017

COCOON: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint.

Miao Xie, Qing Wang, Guowei Yang, Mingshu Li

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

CQM: coverage-constrained quality maximization in crowdsourcing test.

Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li

Proceedings of the 39th International Conference on Software Engineering, 2017

A synergistic approach for distributed symbolic execution using test ranges.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang

Proceedings of the 39th International Conference on Software Engineering, 2017

Who Should Be Selected to Perform a Task in Crowdsourced Testing?

Qiang Cui, Junjie Wang, Guowei Yang, Miao Xie, Qing Wang, Mingshu Li

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Staged Symbolic Execution for Parallel Property Checking.

Junye Wen, Guowei Yang

ACM SIGSOFT Softw. Eng. Notes, 2016

Redroid: A Regression Test Selection Approach for Android Applications.

Quan Chau Dong Do, Guowei Yang, Meiru Che, Darren Hui, Jefferson Ridgeway

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Regression test selection for Android applications.

Quan Chau Dong Do, Guowei Yang, Meiru Che, Darren Hui, Jefferson Ridgeway

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015

Distributed Assertion Checking Using Symbolic Execution.

Guowei Yang, Quan Chau Dong Do, Junye Wen

ACM SIGSOFT Softw. Eng. Notes, 2015

Verification of Architectural Constraints on Sequences of Method Invocations.

Stuart Siroky, Rodion M. Podorozhny, Guowei Yang

ACM SIGSOFT Softw. Eng. Notes, 2015

Evaluating Architectural Design Decision Paradigms in Global Software Development.

Meiru Che, Dewayne E. Perry, Guowei Yang

Int. J. Softw. Eng. Knowl. Eng., 2015

Quantification of Software Changes through Probabilistic Symbolic Execution (N).

Antonio Filieri, Corina S. Pasareanu, Guowei Yang

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Compositional Symbolic Execution with Memoized Replay.

Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Directed Incremental Symbolic Execution.

Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid

ACM Trans. Softw. Eng. Methodol., 2014

Feedback-driven dynamic invariant discovery.

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Property differencing for incremental checking.

Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Memoise: a tool for memoized symbolic execution.

Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Memoized symbolic execution.

Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Specification-Based Test Repair Using a Lightweight Formal Method.

Guowei Yang, Sarfraz Khurshid, Miryung Kim

Proceedings of the FM 2012: Formal Methods, 2012

2011

TestEra: A tool for testing Java programs using alloy specifications.

Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009

Regression model checking.

Guowei Yang, Matthew B. Dwyer, Gregg Rothermel

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

2007

An Algebraic Approach for Managing Inconsistencies in Software Processes, .

Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, Yun Yang

Proceedings of the Software Process Dynamics and Agility, 2007

2006

On Mobility of Software Processes.

Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang

Proceedings of the Software Process Change, 2006