|
Guowei YangAssociate ProfessorDepartment of Computer Science Texas State University 601 University Drive San Marcos, TX 78666, USA Tel: +1 (512) 245-2469 Office: Comal 311B Email: gyang@txstate.edu |
| News and Announcements |
- I am serving on the ISSTA 2020 program committee.
- I am serving on the ICSE 2020 NIER program committee.
- I am serving on the ICST 2020 program committee.
- One paper on parallel property checking is accepted to SAC 2019.
- One book chapter on symbolic execution is to be published at Advances in Computers.
- One paper on parallel property checking is accepted to SEKE 2018.
- I am serving on the ICST 2019 program committee.
- One paper on change impact analysis of Android OS is accepted to MobileSoft 2018.
- I am serving on the ISSRE 2018 program committee.
- One paper on using test ranges to improve symbolic execution is accepted to NFM 2018.
- One paper on crowdsourced testing quality maximization is accepted to ISSRE 2017.
- I received Texas State Univ. Presidential Distinction Award for Excellence in Scholarly/Creative Activities.
- I am serving on the FSE 2018 program committee.
| About Me |
I am an Associate Professor in the Department of Computer Science at Texas State University. My research interests are in software engineering, program analysis, and formal methods, with a focus on improving software reliability and dependability.
Previously, I received my Ph.D. from The University of Texas at Austin in 2013, advised by Sarfraz Khurshid. I received my M.S. in Computer Science from University of Nebraska-Lincoln, co-advised by Matthew B. Dwyer and Gregg Rothermel. Before coming to the U.S., I received my M.E. in Computer Software and Theory from Institute of Software Chinese Academy of Sciences, and my B.E. in Software Engineering from Harbin Institute of Technology.
|