Concrete Constraint Guided Symbolic Execution Yue Sun, Guowei Yang, Shichao Lv, Zhi Li, and Limin Sun 46th International Conference on Software Engineering
(ICSE 2024, CORE Rank A*), Lisbon, Portugal, April 2024.
SJFuzz: Seed & Mutator Scheduling for JVM Fuzzing Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, Yuqun Zhang ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
(ESEC/FSE 2023, CORE Rank A*), San Francisco, California, USA, December 3-9, 2023.
SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices Ziyou Jiang, Lin Shi, Guowei Yang, Qing Wang 38th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2023, CORE Rank A*), Kirchberg, Luxembourg, September 11-15, 2023.
Detecting Android API Compatibility Issues With API Differences Tarek Mahmud, Meiru Che, and Guowei Yang IEEE Transactions on Software Engineering
(TSE, Q1, Impact Factor 6.36), Volume: 49, Issue: 7, Pages 3857 - 3871, July 2023.
Analyzing the Impact of API Changes on Android Apps Tarek Mahmud, Meiru Che, and Guowei Yang The Journal of Systems and Software
(JSS, Q1, Impact Factor 4.85), Volume: 200, Issue C, Jun 2023.
Intelligent Constraint Classification for Symbolic Execution Junye Wen, Tarek Mahmud, Meiru Che, Yan Yan and Guowei Yang 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
(SANER 2023, CORE Rank A), Macao SAR, China, March 21-24, 2023.
POSTER: Toward Intelligent Cyber Attacks for Moving Target Defense Techniques in Software-Defined Networking Tina Moghaddam, Guowei Yang, Chandra Thapa, Seyit Camtepe, and Dan Dongseong Kim 18th ACM Asia Conference on Computer and Communications Security
(ASIACCS 2023, CORE Rank A), Melbourne, Australia, July 10-14, 2023.
Feedback-Driven Incremental Symbolic Execution Qiuping Yi and Guowei Yang 33rd IEEE International Symposium on Software Reliability Engineering
(ISSRE 2022, CORE Rank A), Charlotte, NC, USA, October 2022.
Android API Field Evolution and Its Induced Compatibility Issues Tarek Mahmud, Meiru Che, and Guowei Yang ACM/IEEE International Symposium on Empirical Software Engineering and Measurement
(ESEM 2022, CORE Rank A), Helsinki, Finland, September 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, and Lingming Zhang 44th International Conference on Software Engineering
(ICSE 2022, CORE Rank A*), Pittsburgh, PA, USA, May 2022.
ACID: An API Compatibility Issue Detector for Android Apps Tarek Mahmud, Meiru Che, and Guowei Yang 44th International Conference on Software Engineering, Demonstrations Track
(ICSE 2022, CORE Rank A*), May 8-20, 2022.
An IoT Edge Computing Framework Using Cordova Accessor Host Anne H.H. Ngu, Jesuloluwa Eyitayo, Guowei Yang, Colin Campbell, Quan Z. Sheng, and Jianyuan Ni IEEE Internet of Things Journal
(IoT-J, Q1, Impact Factor 11.61), vol. 9, no. 1, pp. 671-683, Jan, 2022.
API Change Impact Analysis for Android Apps Tarek Mahmud, Mujahid Khan, Jihan Rouijel, Meiru Che, and Guowei Yang 45th IEEE Computers, Software, and Applications Conference
(COMPSAC 2021), Virtual, July 12-16, 2021.
Android Compatibility Issue Detection Using API Differences Tarek Mahmud, Meiru Che, and Guowei Yang 28th IEEE International Conference on Software Analysis, Evolution and Reengineering
(SANER 2021, CORE Rank A), Virtual, March 9-12, 2021.
Audio-Visual Event Localization via Recursive Fusion by Joint Co-Attention Bin Duan, Hao Tang, Wei Wang, Ziliang Zong, Guowei Yang, and Yan Yan IEEE Winter Conference on Applications of Computer Vision
(WACV 2021, CORE Rank A), Virtual, January 5-9, 2021.
Summary-Guided Incremental Symbolic Execution Qiuping Yi, Junye Wen, and Guowei Yang 42nd International Conference on Software Engineering, Poster
(ICSE 2020, CORE Rank A*), July 6-11, 2020.
A Synergistic Approach to Improving Symbolic Execution Using Test Ranges Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, and Junye Wen
Innovations in Systems and Software Engineering
(ISSE 2019), Volume 15, Issue 3–4, pp 325–342, September 2019.
Parallel Property Checking with Staged Symbolic Execution Junye Wen and Guowei Yang
34th ACM/SIGAPP Symposium On Applied Computing
(SAC 2019),
Limassol, Cyprus, April 2019.
Book Chapter on Advances in Symbolic Execution Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen
Advances in Computers, Volume 113. Published on 1st February 2019.
Parallel Property Checking with Symbolic Execution Junye Wen and Guowei Yang
30th International Conference on Software Engineering & Knowledge Engineering
(SEKE 2018),
San Francisco Bay, CA, July 2018.
How Do Android Operating System Updates Impact Apps? Guowei Yang, Jeffrey Jones, Austin Moninger and Meiru Che
IEEE/ACM International Conference on Mobile Software Engineering and Systems
(MOBILESoft 2018),
Gothenburg, Sweden, May 2018.
Using Test Ranges to Improve Symbolic Execution Rui Qiu, Sarfraz Khurshid, Corina S.Pasareanu, Junye Wen, and Guowei Yang
10th NASA Formal Methods Symposium
(NFM 2018),
Newport News, VA, USA, April 2018.
Cocoon: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint Miao Xie, Qing Wang, Guowei Yang, and Mingshu Li
28th International Symposium on Software Reliability Engineering
(ISSRE 2017, CORE Rank A),
Toulouse, France, October 2017.
Who Should Be Selected to Perform a Task in Crowdsourced Testing? Qiang Cui, Junjie Wang, Guowei Yang, Miao Xie, Qing Wang, and Mingshu Li
41st IEEE Annual International Conference on Computers, Software, and Applications
(COMPSAC 2017),
Turin, Italy, July 2017.
A Synergistic Approach for Distributed Symbolic Execution Using Test Ranges Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, and Guowei Yang
39th International Conference on Software Engineering, Poster
(ICSE 2017, CORE Rank A*),
Buenos Aires, Argentina, May 2017.
CQM: Coverage-constrained Quality Maximization in Crowdsourcing Test Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li
39th International Conference on Software Engineering, Poster
(ICSE 2017, CORE Rank A*),
Buenos Aires, Argentina, May 2017.
Redroid: A Regression Test Selection Approach for Android Applications Quan Do, Guowei Yang, Meiru Che, Darren Hui, and Jefferson Ridgeway
The 28th International Conference on Software Engineering & Knowledge Engineering
(SEKE 2016),
San Francisco Bay, California, USA, July 2016.
Staged Symbolic Execution for Parallel Property Checking Junye Wen and Guowei Yang
ACM SIGSOFT Software Engineering Notes, Vol. 41, No. 6, November 2016.
Verification of Architectural Constraints on Interaction Protocols Among Modules Stuart Siroky, Rodion Podorozhny, and Guowei Yang
The Second International Conference on Advances and Trends in Software Engineering
(SOFTENG 2016),
Lisbon, Portugal, February 2016.
Regression Test Selection for Android Applications Quan Do, Guowei Yang, Meiru Che, Darren Hui, and Jefferson Ridgeway
IEEE/ACM International Conference on Mobile Software Engineering and Systems, Poster
(MOBILESoft 2016),
Austin, TX, May 2016.
Evaluating Architectural Design Decision Paradigms in Global Software Development Meiru Che, Dewayne E. Perry, and Guowei Yang
International Journal of Software Engineering and Knowledge Engineering
(IJSEKE),
Volume 25, Nos. 9-10, Pages 1677--1692, November & December 2015.
Quantification of Software Changes through Probabilistic Symbolic Execution Antonio Filieri, Corina S. Pasareanu, and Guowei Yang
30th IEEE/ACM International Conference on Automated Software Engineering, New Ideas
(ASE 2015, CORE Rank A*),
Lincoln, NE, USA, November 2015.
Distributed Assertion Checking Using Symbolic Execution Guowei Yang, Quan Chau Dong Do, and Junye Wen
ACM SIGSOFT Software Engineering Notes, Vol. 40, No. 6, November 2015.
Compositional Symbolic Execution with Memoized Replay Rui Qiu, Guowei Yang, Corina S. Pasareanu, and Sarfraz Khurshid
37th International Conference on Software Engineering
(ICSE 2015, CORE Rank A*),
pages 632--642, Firenze, Italy, May 2015.
Quantification of Software Changes through Probabilistic Symbolic Execution Antonio Filieri1, Corina S. Pasareanu, and Guowei Yang
The Inaugural Summit oN Advances in Programming Languages
(SNAPL 2015),
Asilomar, California, May 2015. Position paper.
Verification of Architectural Constraints on Sequences of Method Invocations Stuart Siroky, Rodion Podorozhny, and Guowei Yang
ACM SIGSOFT Software Engineering Notes, Vol. 40, No. 1, January 2015.
Directed Incremental Symbolic Execution Guowei Yang, Suzette Person, Neha Rungta, and Sarfraz Khurshid
ACM Transactions on Software Engineering and Methodology,
(ACM TOSEM, Q1, Impact Factor 4.98), Vol. 24 Issue 1, No. 3, September 2014.
Feedback-Driven Dynamic Invariant Discovery Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid
International Symposium on Software Testing and Analysis
(ISSTA 2014, CORE Rank A),
Bay Area, California, July 2014.
Property Differencing for Incremental Checking Guowei Yang, Sarfraz Khurshid, Suzette Person, and Neha Rungta
36th International Conference on Software Engineering
(ICSE 2014, CORE Rank A*),
Hyderabad, India, June 2014.
Invariant Discovery Guided by Symbolic Execution Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid
The Java PathFinder Workshop 2013
(JPF 2013),
Palo Alto, CA, November 2013.
Memoise: A Tool for Memoized Symbolic Execution Guowei Yang, Sarfraz Khurshid, and Corina S. Pasareanu
35th International Conference on Software Engineering, Formal Demonstrations Track
(ICSE 2013, CORE Rank A*),
San Francisco, CA, 2013.
Specification-based Test Repair Using a Lightweight Formal Method Guowei Yang, Sarfraz Khurshid, and Miryung Kim
18th International Symposium on Formal Methods
(FM 2012, CORE Rank A),
pages 455--470, Cnam Paris, France, August 2012.
Memoized Symbolic Execution Guowei Yang, Corina S. Pasareanu, and Sarfraz Khurshid
International Symposium on Software Testing and Analysis
(ISSTA 2012, CORE Rank A),
pages 144--154, Minneapolis, MN, July 2012.
TestEra: A tool for testing Java programs using Alloy specifications Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid
26th IEEE/ACM International Conference On Automated Software Engineering, Tool Demonstration Track
(ASE 2011, CORE Rank A*),
pages 608--611, Lawrence, KS, November 2011.
Directed Incremental Symbolic Execution Suzette Person, Guowei Yang, Neha Rungta, and Sarfraz Khurshid
32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
(PLDI 2011, CORE Rank A*),
pages 504--515, San Jose, CA, June 2011.
Regression Model Checking Guowei Yang, Matthew B. Dwyer, and Gregg Rothermel
25th IEEE International Conference on Software Maintenance
(ICSM 2009, CORE Rank A),
pages 115--124, Edmonton, Elberta, Canada, September 2009.
Design and Implementation of Algebra-based Software Process Modeling System Guowei Yang, Qiusong Yang, Jian Zhai, and Feng Yuan
Computer Engineering and Design vol. 29, no. 3, pp. 530-- 534, February 2008.
Applying Statistical Process Control to Monitor Software Testing Process Meiru Che, Guowei Yang, Lang Gou, and Nan Jiang
Computer Engineering and Design vol. 29, no. 3, pp. 725-–730, February 2008.
An Algebraic Approach for Managing Inconsistencies in Software Processes Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, and Yun Yang
International Conference on Software Processes
(ICSP 2007),
pages 121--133, Minneapolis, MN, May 2007.
On Mobility of Software Processes Mingshu Li, Qiusong Yang, Jian Zhai, and Guowei Yang
Software Process Workshop and Workshop on Software Process Simulation and Modeling
(SPW/ProSim),
pages 105--114, Shanghai, China, May 2006.