Feedback-Driven Incremental Symbolic Execution Qiuping Yi and Guowei Yang 33rd IEEE International Symposium on Software Reliability Engineering
(ISSRE 2022), 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), 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), 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), 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, 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), 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), 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), 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),
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),
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),
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),
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),
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,
Volume 24 Issue 1, Article 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),
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),
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),
San Francisco, CA, 2013.
Enhancing Symbolic Execution Using Memoization and Incremental Techniques Guowei Yang
PhD thesis, University of Texas at Austin, Austin, TX, August 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),
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),
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),
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),
pages 504--515, San Jose, CA, June 2011.
Regression Model Checking Guowei Yang
Master’s thesis, University of Nebraska-Lincoln, Lincoln, NE, August 2009.
Regression Model Checking Guowei Yang, Matthew B. Dwyer, and Gregg Rothermel
25th IEEE International Conference on Software Maintenance
(ICSM 2009),
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.