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
Qualifications
- Masters (Research) of Computer Science, University of Nebraska-Lincoln
- 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
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
Funding
Current funding
Supervision
Availability
- Dr Guowei Yang is:
- Available for supervision
Before you email them, read our advice on how to contact a supervisor.
Supervision history
Current supervision
-
Doctor Philosophy
Continuous Code Analysis for Rapidly Evolving Software
Principal Advisor
Other advisors: Associate Professor Mark Utting
-
Master Philosophy
Change-Driven Automated Validation of Software Patches
Principal Advisor
-
Doctor Philosophy
Automated Testing of Deep Learning Systems
Principal Advisor
Other advisors: Associate Professor Dan Kim, Dr Naipeng Dong
-
Doctor Philosophy
Privacy Compliance in Software Ecosystems
Associate Advisor
Other advisors: Dr Naipeng Dong
-
Doctor Philosophy
Overcoming Model Optimization Bugs in Machine Learning Frameworks
Associate Advisor
-
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
Advanced Moving Target Defence against AI based Cyber Attacks
Associate Advisor
Other advisors: Associate Professor Dan Kim
Media
Enquiries
For media enquiries about Dr Guowei Yang's areas of expertise, story ideas and help finding experts, contact our Media team: