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
2016
Conference Publication
Regression test selection for android applications
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
2016
Conference Publication
Redroid: a regression test selection approach for android applications
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
2015
Journal Article
Distributed Assertion Checking Using Symbolic Execution
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
2015
Journal Article
Evaluating architectural design decision paradigms in global software development
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
2015
Journal Article
Verification of Architectural Constraints on Sequences of Method Invocations
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
2015
Conference Publication
Quantification of software changes through probabilistic symbolic execution
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
2015
Conference Publication
Compositional symbolic execution with memoized replay
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
2014
Journal Article
Directed incremental symbolic execution
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
2014
Conference Publication
Feedback-driven dynamic invariant discovery
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
2014
Conference Publication
Property differencing for incremental checking
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
2013
Conference Publication
Memoise: a tool for memoized symbolic execution
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
2012
Conference Publication
Memoized symbolic execution
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
2012
Conference Publication
Specification-based test repair using a lightweight formal method
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
2011
Conference Publication
TestEra: A tool for testing Java programs using alloy specifications
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
2011
Conference Publication
Directed incremental symbolic execution
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
2009
Conference Publication
Regression model checking
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
2007
Book Chapter
An algebraic approach for managing inconsistencies in software processes
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
2006
Book Chapter
On mobility of software processes
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
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: