Research Topic

My current research topic is focusing on software verification. We develop different methods and algorithms using symbolic execution and distributed calculation/parallel processing to improve the efficiency of software properties (assertions) checking.


My Publications

  • Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun and Junye Wen. 2019. Book chapter: Advances in Symbolic Execution. Advances in Computers, Volume 113, 1st Edition.

  • Junye Wen and Guowei Yang. 2018. Parallel Property Checking with Symbolic Execution. 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), San Francisco Bay, CA, July 2018. DOI: 10.18293/SEKE2018-171

  • Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, and Guowei Yang. 2018. Using Test Ranges to Improve Symbolic Execution. NFM 2018. Lecture Notes in Computer Science, vol 10811. Springer, Cham. DOI: https://doi.org/10.1007/978-3-319-77935-5_28

  • Junye Wen and Guowei Yang. 2017. Staged Symbolic Execution for Parallel Property Checking. SIGSOFT Softw. Eng. Notes 41, 6 (January 2017), 1-5. DOI: https://doi.org/10.1145/3011286.3011297

  • Guowei Yang, Quan Chau Dong Do, and Junye Wen. 2015. Distributed Assertion Checking Using Symbolic Execution. SIGSOFT Softw. Eng. Notes 40, 6 (November 2015), 1-5. DOI: https://doi.org/10.1145/2830719.2830729

    • My Presentations

  • Junye Wen and Guowei Yang. Parallel Property Checking with Symbolic Execution. 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), San Francisco Bay, CA, July 2018

  • Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, and Guowei Yang. Using Test Ranges to Improve Symbolic Execution. 10th NASA Formal Methods Symposium (NFM 2018), Newport News, VA, USA, April 2018

  • Junye Wen and Guowei Yang. Staged Symbolic Execution for Parallel Property Checking. ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016) - Java Pathfinder Workshop 2016, Newport News, VA, USA, November 2016

  • Quan Do, Guowei Yang, Meiru Che, Darren Hui, and Jefferson Ridgeway.Regression Test Selection for Android Applications The 38th International Conference on Software Engineering (ICSE 2016) - IEEE/ACM International Conference on Mobile Software Engineering and Systems, Poster (MOBILESoft 2016), Austin, TX, USA, May 2016

  • Guowei Yang, Quan Chau Dong Do, and Junye Wen. Distributed Assertion Checking Using Symbolic Execution. 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015) - Java Pathfinder Workshop 2015, Lincole, NE, USA, November 2015