Overview
Background
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 lie in Software Engineering, and its synergy with Machine Learning and Programming Languages, with a focus on improving reliability and security of software and machine learning systems. 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! Dr. Guowei Yang is looking for highly motivated students (including PhDs, Masters, undergraduates), and visitors to join his 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 globally according to major ranking systems, including QS (40) and U.S. News (41).
Availability
- Dr Guowei Yang is:
- Available for supervision
Fields of research
Qualifications
- Doctor of Philosophy of Electrical and Computer Engineering, The University of Texas at Austin
Research interests
-
Software engineering
-
Machine Learning
-
Programming languages
-
Cyber security
Works
Search Professor Guowei Yang’s works on UQ eSpace
2022
Conference Publication
Android API field evolution and its induced compatibility issues
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
2022
Conference Publication
ACID: an API compatibility issue detector for Android apps
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
2022
Conference Publication
Evaluating and improving neural program-smoothing-based fuzzing
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
2021
Conference Publication
API change impact analysis for android apps
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
2021
Conference Publication
Android compatibility issue detection using API differences
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
2021
Conference Publication
Audio-visual event localization via recursive fusion by joint co-attention
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
2021
Journal Article
An IoT edge computing framework using Cordova Accessor Host
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
2020
Journal Article
Message from TAIC PART Chairs
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
2020
Conference Publication
Summary-guided incremental symbolic execution
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
2019
Journal Article
A synergistic approach to improving symbolic execution using test ranges
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
2019
Conference Publication
Parallel property checking with staged symbolic execution
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
2019
Book Chapter
Advances in symbolic execution
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
2018
Conference Publication
Parallel property checking with symbolic execution
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
2018
Conference Publication
Using test ranges to improve symbolic execution
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
2018
Conference Publication
How do Android operating system updates impact apps?
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
2017
Conference Publication
A synergistic approach for distributed symbolic execution using test ranges
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
2017
Conference Publication
CQM: coverage-constrained quality maximization in crowdsourcing test
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
2017
Journal Article
Staged Symbolic Execution for Parallel Property Checking
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
2017
Conference Publication
COCOON: crowdsourced testing quality maximization under context coverage constraint
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
2017
Conference Publication
Who should be selected to perform a task in crowdsourced testing?
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
Supervision
Availability
- Dr Guowei Yang is:
- Available for supervision
Looking for a supervisor? Read our advice on how to choose a supervisor.
Supervision history
Current supervision
-
Doctor Philosophy
Automated Testing of Deep Learning Systems
Principal Advisor
Other advisors: Associate Professor Dan Kim, Dr Naipeng Dong
-
Doctor Philosophy
Privacy of Language Models in Practical Distributed Settings: Attacks and Defenses
Principal Advisor
-
Doctor Philosophy
Privacy Compliance of Virtual Personal Assistant Apps Ecosystem
Principal Advisor
Other advisors: Professor Helen Huang
-
Master Philosophy
Change-Driven Automated Validation of Software Patches
Principal Advisor
-
Doctor Philosophy
Automated Concurrency Bug Detection with Hybrid Static and Dynamic Analysis
Principal Advisor
Other advisors: Associate Professor Dan Kim
-
Doctor Philosophy
Continuous Code Analysis for Rapidly Evolving Software
Principal Advisor
Other advisors: Associate Professor Mark Utting
-
Doctor Philosophy
AI based intrusion detection and response system
Associate Advisor
Other advisors: Associate Professor Dan Kim
-
Master Philosophy
Optimizing Software Development: Hierarchical Formal Specification Integration for Enhanced Unit Testing and Agile Synergy
Associate Advisor
Other advisors: Associate Professor Mark Utting
-
Doctor Philosophy
Automated Penetration Testing using Advanced AI Techniques
Associate Advisor
Other advisors: Associate Professor Dan Kim
-
Doctor Philosophy
Privacy Compliance in Software Ecosystems
Associate Advisor
Other advisors: Dr Naipeng Dong
-
Doctor Philosophy
Advanced Moving Target Defence against AI-based Cyber Attacks
Associate Advisor
Other advisors: Associate Professor Dan Kim
Completed supervision
-
2025
Doctor Philosophy
Overcoming Model Optimization Bugs in Machine Learning Frameworks
Associate Advisor
Other advisors: Professor Helen Huang
Media
Enquiries
For media enquiries about Dr Guowei Yang's areas of expertise, story ideas and help finding experts, contact our Media team: