Dr Guowei Yang
Senior Lecturer
School of Electrical Engineering and Computer Science
Researcher biography
Dr. Guowei Yang is a Senior Lecturer in the School of Electrical Engineering and Computer Science at The University of Queensland, Australia. His research interests are in software engineering, cyber security, programming languages, formal methods, and machine learning, with a focus on improving software reliability and security. Prior to joining UQ in 2021, he was a tenured Associate Professor in the Department of Computer Science at Texas State University, USA. He received his Ph.D. from The University of Texas at Austin, USA in 2013. To find out more details please check his homepage: https://guoweiyang.github.io.
Multiple scholarships are available! I am looking for highly motivated students (including PhDs, Masters, undergraduates), postdocs, and visitors to join my research group. If you are interested and have background in software engineering, programming languages, formal methods, and/or AI, please send an email with your CV to guowei.yang@uq.edu.au. The University of Queensland is ranked in the top 50 and top 100 globally according to major ranking systems, including U.S. News (36), QS (43), ARWU (51), and THE (53).
Book Chapters
Yang, Guowei, Filieri, Antonio, Borges, Mateus, Clun, Donato and Wen, Junye (2019). Advances in symbolic execution. Advances in Computers. (pp. 225-287) edited by Memon, A. M.. San Diego, CA, United States: Academic Press. doi: 10.1016/bs.adcom.2018.10.002
Yang, Qiusong, Li, Mingshu, Wang, Qing, Yang, Guowei, Zhai, Jian, Li, Juan, Hou, Lishan and Yang, Yun (2007). An algebraic approach for managing inconsistencies in software processes. Software process dynamics and agility. (pp. 121-133) edited by Qing Wang, Dietmar Pfahl and David M. Raffo. Berlin, Germany: Springer. doi: 10.1007/978-3-540-72426-1_11
Li, Mingshu, Yang, Qiusong, Zhai, Jian and Yang, Guowei (2006). On mobility of software processes. Software process change. (pp. 105-114) edited by Qing Wang, Dietmar Pfahl, David M. Raffo and Paul Wernick. Berlin, Germany: Springer. doi: 10.1007/11754305_12
Journal Articles
Mahmud, Tarek, Che, Meiru and Yang, Guowei (2024). An empirical study on compatibility issues in Android API field evolution. Information and Software Technology, 175 107530, 107530. doi: 10.1016/j.infsof.2024.107530
Yi, Qiuping, Yu, Yifan and Yang, Guowei (2024). Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding. Proceedings of the ACM on Programming Languages, 8 (PLDI) 213, 1633-1655. doi: 10.1145/3656443
Mahmud, Tarek, Che, Meiru and Yang, Guowei (2023). Detecting android API compatibility issues with API differences. IEEE Transactions on Software Engineering, 49 (7), 3857-3871. doi: 10.1109/tse.2023.3274153
Mahmud, Tarek, Che, Meiru and Yang, Guowei (2023). Analyzing the impact of API changes on Android apps. Journal of Systems and Software, 200 111664, 1-19. doi: 10.1016/j.jss.2023.111664
Ngu, Anne H. H., Eyitayo, Jesuloluwa, Yang, Guowei, Campbell, Colin, Sheng, Quan Z. and Ni, Jianyuan (2021). An IoT edge computing framework using Cordova Accessor Host. IEEE Internet of Things Journal, 9 (1), 671-683. doi: 10.1109/jiot.2021.3086043
Abreu, Rui, Amorim, Marcelod and Yang, Guowei (2020). Message from TAIC PART Chairs. Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 9156052, xxiii-xxiii. doi: 10.1109/ICSTW50294.2020.00014
Yang, Guowei, Qiu, Rui, Khurshid, Sarfraz, Pasareanu, Corina S. and Wen, Junye (2019). A synergistic approach to improving symbolic execution using test ranges. Innovations in Systems and Software Engineering, 15 (3-4), 325-342. doi: 10.1007/s11334-019-00331-9
Wen, Junye and Yang, Guowei (2017). Staged Symbolic Execution for Parallel Property Checking. ACM SIGSOFT Software Engineering Notes, 41 (6), 1-5. doi: 10.1145/3011286.3011297
Yang, Guowei, Do, Quan Chau Dong and Wen, Junye (2015). Distributed Assertion Checking Using Symbolic Execution. ACM SIGSOFT Software Engineering Notes, 40 (6), 1-5. doi: 10.1145/2830719.2830729
Che, Meiru, Perry, Dewayne E. and Yang, Guowei (2015). Evaluating architectural design decision paradigms in global software development. International Journal of Software Engineering and Knowledge Engineering, 25 (9-10), 1677-1692. doi: 10.1142/S0218194015400380
Siroky, Stuart, Podorozhny, Rodion and Yang, Guowei (2015). Verification of Architectural Constraints on Sequences of Method Invocations. ACM SIGSOFT Software Engineering Notes, 40 (1), 1-4. doi: 10.1145/2693208.2693246
Yang, Guowei, Person, Suzette, Rungta, Neha and Khurshid, Sarfraz (2014). Directed incremental symbolic execution. ACM Transactions on Software Engineering and Methodology, 24 (1) 2629536, 1-42. doi: 10.1145/2629536
Conference Papers
Mahmud, Tarek, Che, Meiru, Ngu, Anne H. H. and Yang, Guowei (2024). An Empirical Investigation on Android App Testing Practices. IEEE. doi: 10.1109/issre62328.2024.00042
Jiang, Ziyou, Shi, Lin, Yang, Guowei and Wang, Qing (2024). PatUntrack: Automated Generating Patch Examples for Issue Reports without Tracked Insecure Code. New York, NY, USA: ACM. doi: 10.1145/3691620.3694982
Moghaddam, Tina, Yang, Guowei, Thapa, Chandra, Camtepe, Seyit and Kim, Dan Dongseong (2024). MTD in plain sight: hiding network behavior in moving target defenses. 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Brisbane, QLD, Australia, 24-27 June 2024. Piscataway, NJ, United States: IEEE. doi: 10.1109/dsn-s60304.2024.00022
Mahmud, Tarek, Che, Meiru, Rouijel, Jihan, Khan, Mujahid and Yang, Guowei (2024). APICIA: An API Change Impact Analyzer for Android Apps. IEEE/ACM 46th International Conference on Software Engineering, Lisbon, Portugal, 14 - 20 April 2024. New York, NY United States: Association for Computing Machinery. doi: 10.1145/3639478.3640041
Sun, Yue, Yang, Guowei, Lv, Shichao, Li, Zhi and Sun, Limin (2024). Concrete constraint guided symbolic execution. ICSE '24: IEEE/ACM 46th International Conference on Software Engineering, Lisbon, Portugal, 14 - 20 April 2024. Washington, DC, United States: IEEE Computer Society. doi: 10.1145/3597503.3639078
Wu, Mingyuan, Ouyang, Yicheng, Lu, Minghai, Chen, Junjie, Zhao, Yingquan, Cui, Heming, Yang, Guowei and Zhang, Yuqun (2023). SJFuzz: seed and mutator scheduling for JVM fuzzing. 31st ACM Joint Meeting of the European Software Engineering Conference / Symposium on the Foundations-of-Software-Engineering (ESEC/FSE), San Francisco, CA USA, 3-9 December 2023. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3611643.3616277
Jiang, Ziyou, Shi, Lin, Yang, Guowei and Wang, Qing (2023). SCPatcher: mining crowd security discussions to enrich secure coding practices. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11-15 September 2023. Los Alamitos, CA USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/ase56229.2023.00040
Moghaddam, Tina, Yang, Guowei, Thapa, Chandra, Camtepe, Seyit and Kim, Dan Dongseong (2023). POSTER: Toward Intelligent Cyber Attacks for Moving Target Defense Techniques in Software-Defined Networking. 18th ACM ASIA Conference on Computer and Communications Security (ASIA CCS), Melbourne, VIC, Australia, 10-14 July 2023. New York, NY, United States: ACM. doi: 10.1145/3579856.3592825
Wen, Junye, Mahmud, Tarek, Che, Meiru, Yan, Yan and Yang, Guowei (2023). Intelligent constraint classification for symbolic execution. 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Macao, Peoples Republic of China, 21-24 March 2023. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/saner56733.2023.00023
Yi, Qiuping and Yang, Guowei (2022). Feedback-driven incremental symbolic execution. 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE), Charlotte, NC USA, 31 October-3 November 2022. Los Alamitos, CA USA: IEEE Computer Society. doi: 10.1109/ISSRE55969.2022.00055
Mahmud, Tarek, Che, Meiru and Yang, Guowei (2022). Android API field evolution and its induced compatibility issues. 16th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Helsinki, Finland, 19-23 September 2022. New York, NY, United States: ACM. doi: 10.1145/3544902.3546242
Mahmud, Tarek, Che, Meiru and Yang, Guowei (2022). ACID: an API compatibility issue detector for Android apps. 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), Pittsburgh, PA, United States, 22-27 May 2022. Washington, DC, United States: IEEE Computer Society. doi: 10.1109/ICSE-Companion55297.2022.9793733
Wu, Mingyuan, Jiang, Ling, Xiang, Jiahong, Zhang, Yuqun, Yang, Guowei, Ma, Huixin, Nie, Sen, Wu, Shi, Cui, Heming and Zhang, Lingming (2022). Evaluating and improving neural program-smoothing-based fuzzing. ACM/IEEE 44th International Conference on Software Engineering (ICSE), Pittsburgh, PA, United States, 22-27 May 2022. Washington, DC, United States: IEEE Computer Society. doi: 10.1145/3510003.3510089
Mahmud, Tarek, Khan, Mujahid, Rouijel, Jihan, Che, Meiru and Yang, Guowei (2021). API change impact analysis for android apps. 45th Annual International IEEE-Computer-Society Computers, Software, and Applications Conference (COMPSAC), Virtual, 12-16 July 2021. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/COMPSAC51774.2021.00122
Mahmud, Tarek, Che, Meiru and Yang, Guowei (2021). Android compatibility issue detection using API differences. 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Honolulu, HI USA, 9-12 March 2021. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/saner50967.2021.00051
Duan, Bin, Tang, Hao, Wang, Wei, Zong, Ziliang, Yang, Guowei and Yan, Yan (2021). Audio-visual event localization via recursive fusion by joint co-attention. IEEE Winter Conference on Applications of Computer Vision (WACV), Waikoloa, HI, United States, 3-8 January 2021. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/WACV48630.2021.00406
Yi, Qiuping, Wen, Junye and Yang, Guowei (2020). Summary-guided incremental symbolic execution. International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July 2020. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1145/3377812.3390895
Wen, Junye and Yang, Guowei (2019). Parallel property checking with staged symbolic execution. 34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC), Limassol, Cyprus, 8-12 April 2019. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3297280.3297457
Qiu, Rui, Khurshid, Sarfraz, Pasareanu, Corina S., Wen, Junye and Yang, Guowei (2018). Using test ranges to improve symbolic execution. 10th International Symposium on NASA Formal Methods (NFM), Newport News VA, USA, 17-19 April 2018. Cham, Switzerland: Springer. doi: 10.1007/978-3-319-77935-5_28
Yang, Guowei, Jones, Jeffrey, Moninger, Austin and Che, Meiru (2018). How do Android operating system updates impact apps?. 5th ACM/IEEE International Conference on Mobile Software Engineering and Systems (MOBILESoft), Gothenburg, Sweden, 27-28 May 2018. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3197231.3197258
Wen, Junye and Yang, Guowei (2018). Parallel property checking with symbolic execution. 30th International Conference on Software Engineering and Knowledge Engineering, SEKE 2018, Redwood City, United States, 1-3 July 2018. IL, United States: Knowledge Systems Institute. doi: 10.18293/SEKE2018-171
Qiu, Rui, Khurshid, Sarfraz, Pasareanu, Corina S. and Yang, Guowei (2017). A synergistic approach for distributed symbolic execution using test ranges. International Conference on Software Engineering Companion (ICSE-C), Buenos Aires, Argentina, 20-28 May 2017. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ICSE-C.2017.116
Xie, Miao, Wang, Qing, Cui, Qiang, Yang, Guowei and Li, Mingshu (2017). CQM: coverage-constrained quality maximization in crowdsourcing test. 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017, Buenos Aires, Argentina, 20-28 May 2017. United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICSE-C.2017.112
Xie, Miao, Wang, Qing, Yang, Guowei and Li, Mingshu (2017). COCOON: crowdsourced testing quality maximization under context coverage constraint. 28th IEEE International Symposium on Software Reliability Engineering, Toulouse, France, 23-26 October 2017. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/issre.2017.25
Cui, Qiang, Wang, Junjie, Yang, Guowei, Xie, Miao, Wang, Qing and Li, Mingshu (2017). Who should be selected to perform a task in crowdsourced testing?. 41st IEEE Annual Computer Software and Applications Conference (COMPSAC), Torino, Italy, 4-8 July 2017. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/compsac.2017.265
Do, Quan, Yang, Guowei, Che, Meiru, Hui, Darren and Ridgeway, Jefferson (2016). Regression test selection for android applications. ICSE '16: 38th International Conference on Software Engineering, Austin, TX United States, 14 - 22 May 2016. New York, NY United States: Association for Computing Machinery. doi: 10.1145/2897073.2897127
Do, Quan, Yang, Guowei, Che, Meiru, Hui, Darren and Ridgeway, Jefferson (2016). Redroid: a regression test selection approach for android applications. SEKE 2016: The 28th International Conference on Software Engineering and Knowledge Engineering, Redwood City, CA USA, 1-3 July 2016. Skokie, IL USA: Knowledge Systems Institute Graduate School. doi: 10.18293/seke2016-223
Filieri, Antonio, Pasareanu, Corina S. and Yang, Guowei (2015). Quantification of software changes through probabilistic symbolic execution. 30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Lincoln, NE USA, 9-13 November 2015. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/ase.2015.78
Qiu, Rui, Yang, Guowei, Pasareanu, Corina S. and Khurshid, Sarfraz (2015). Compositional symbolic execution with memoized replay. IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), Florence, Italy, 16-24 May 2015. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icse.2015.79
Zhang, Lingming, Yang, Guowei, Rungta, Neha, Person, Suzette and Khurshid, Sarfraz (2014). Feedback-driven dynamic invariant discovery. ISSTA '14: International Symposium on Software Testing and Analysis, San Jose, CA USA, 21-25 July 2014. New York, NY USA: Association for Computing Machinery. doi: 10.1145/2610384.2610389
Yang, Guowei, Khurshid, Sarfraz, Person, Suzette and Rungta, Neha (2014). Property differencing for incremental checking. 36th International Conference on Software Engineering (ICSE), Hyderabad, India, 31 May-7 June 2014. New York, NY USA: Association for Computing Machinery. doi: 10.1145/2568225.2568319
Yang, Guowei, Khurshid, Sarfraz and Pasareanu, Corina S. (2013). Memoise: a tool for memoized symbolic execution. 35th International Conference on Software Engineering (ICSE), San Francisco, CA USA, 18-26 May 2013. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICSE.2013.6606713
Yang, Guowei, Pǎsǎreanu, Corina S. and Khurshid, Sarfraz (2012). Memoized symbolic execution. 2012 International Symposium on Software Testing and Analysis, Minneapolis, MN USA, 15-20 July 2012. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1145/04000800.2336771
Yang, Guowei, Khurshid, Sarfraz and Kim, Miryung (2012). Specification-based test repair using a lightweight formal method. FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, Paris, France, 27-31 August 2012. Berlin, Germany: Springer. doi: 10.1007/978-3-642-32759-9_37
Khalek, Shadi Abdul, Yang, Guowei, Zhang, Lingming, Marinov, Darko and Khurshid, Sarfraz (2011). TestEra: A tool for testing Java programs using alloy specifications. doi: 10.1109/ASE.2011.6100137
Person, Suzette, Yang, Guowei, Rungta, Neha and Khurshid, Sarfraz (2011). Directed incremental symbolic execution. 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 11), San Jose, CA USA, 4-8 June 2011. New York, NY USA: Association for Computing Machinery. doi: 10.1145/1993498.1993558
Guowei Yang, , Dwyer, M. B. and Rothermel, G. (2009). Regression model checking. 2009 IEEE International Conference on Software Maintenance, Edmonton, AB Canada, 20-26 September 2009. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icsm.2009.5306334