|
Guowei YangAssistant ProfessorDepartment of Computer Science Texas State University 601 University Drive San Marcos, TX 78666, USA Tel: +1 (512) 245-2469 Fax: +1 (512) 245-8750 Office: Comal 311B Email: gyang@txstate.edu |
| News and Announcements |
- Please submit your work to TAIC PART 2019 and COMPSAC 2019.
- 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 Assistant Professor in the Department of Computer Science at Texas State University. My research addresses various elements of how to enhance software reliability and dependability, including software verification and testing, software maintenance and evolution, program analysis, and formal methods.
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.
|