Dr. Guowei Yang is a Senior Lecturer in the School of Information Technology and Electrical Engineering at The University of Queensland, Australia. His research interests are in software engineering, cyber security, and programming languages, 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.
Prospective students -- Dr. Guowei Yang is looking for highly motivated Ph.D. students with background in software engineering, AI, or cyber security. His current work focuses on detecting and fixing software bugs and vulnerabilities using program analysis and AI techniques, such as testing, symbolic execution, fuzzing, deep learning, etc. Students who are interested please send him an email with your CV. The University of Queensland ranks in the top 50 according to the Performance Ranking of Scientific Papers for World Universities. The University also ranks 36 in the US News Best Global Universities Rankings, 47 in the QS World University Rankings, 51 in the Academic Ranking of World Universities, and 54 in the Times Higher Education World University Rankings.
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. IEEE Computer Society. doi: 10.1109/ICSE-Companion55297.2022.9793733
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
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
Advanced Moving Target Defence against AI based Cyber Attacks
Doctor Philosophy
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
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. doi: 10.1109/ICSTW50294.2020.00014
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
Advances in symbolic execution
Yang, Guowei, Filieri, Antonio, Borges, Mateus, Clun, Donato and Wen, Junye (2019). Advances in symbolic execution. Advances in Computers, 113, 225-287. doi: 10.1016/bs.adcom.2018.10.002
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
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. doi: 10.1145/2629536
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. IEEE Computer Society. doi: 10.1109/ICSE-Companion55297.2022.9793733
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
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
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. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/WACV48630.2021.00406
Summary-Guided Incremental Symbolic Execution
Yi, Qiuping, Wen, Junye and Yang, Guowei (2020). Summary-Guided Incremental Symbolic Execution. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1145/3377812.3390895
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
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
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
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
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. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ICSE-C.2017.116
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. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ICSE-C.2017.112
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
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
Regression test selection for android applications
Do, Quan, Yang, Guowei, Che, Meiru, Hui, Darren and Ridgeway, Jefferson (2016). Regression test selection for android applications. Association for Computing Machinery, Inc. doi: 10.1145/2897073.2897127
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
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
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
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
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
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
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
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
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
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
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
Advanced Moving Target Defence against AI based Cyber Attacks
Doctor Philosophy — Associate Advisor
Other advisors: