Kaiyuan Wang

kaiyuanw@utexas.edu

PhD Student
Department of Electrical and Computer Engineering
The University of Texas at Austin

Google Scholar
DBLP
LinkedIn
CV

I am a graduated PhD in the Software Verification, Validation and Testing (SVVAT) group at the University of Texas at Austin. My adviser is Sarfraz Khurshid and my unofficial co-adviser is Milos Gligoric. I obtained my M.S. degree in software engineering at UT Austin in 2015 and my B.S. degree in computer science at Beijing Univeristy of Technology in 2013.

Research

My research interests lie in the field of software engineering. I have worked on a number of projects related to program synthesis, fault localization, automated program repair, regression test selection, model checking, mutation testing, automated test generation and symbolic execution. Overall, I am passionate about challenges and enjoy learning new technologies.

Recently, I am interested in combining machine learning techniques with my software engineering research.

News

Publications

JPF 2018 [15] A Progress Bar for the JPF Search Using Program Executions
K. Wang, H. Converse, M. Gligoric, S. Misailovic, S. Khurshid
ASE 2018 [14] Automated Model Repair for Alloy
K. Wang, A. Sullivan, S. Khurshid
FSE Demo 2018 [13] ASketch: A Sketching Framework for Alloy
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
FSE Demo 2018 [12] SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
J. Hua, M. Zhang, K. Wang, S. Khurshid
ABZ 2018 [11] Solver-based Sketching of Alloy Models using Test Valuations
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
ABZ 2018 [10] Systematic Generation of Non-Equivalent Expressions for Relational Algebra
K. Wang, A. Sullivan, M. Koukoutos, D. Marinov, S. Khurshid
ICSE 2018 [9] Towards Refactoring-Aware Regression Test Selection
K. Wang, C. Zhu, A. Celik, J. Kim, D. Batory, M. Gligoric
ICSE 2018 [8] Towards Practical Program Repair with On-Demand Candidate Generation
J. Hua, M. Zhang, K. Wang, S. Khurshid
ICSE Demo 2018 [7] MuAlloy: A Mutation Testing Framework for Alloy
K. Wang, A. Sullivan, S. Khurshid
ICST 2018 [6] EdSynth: Synthesizing API Sequences with Conditionals and Loops
Z. Yang, J. Hua, K. Wang, S. Khurshid
ICST Demo 2018 [5] AUnit: A Test Automation Tool for Alloy
A. Sullivan, K. Wang, S. Khurshid
ICST 2017 [4] Automated Test Generation and Mutation Testing for Alloy
A. Sullivan, K. Wang, R.N. Zaeem, S. Khurshid
JPF 2017 [3] JPR: Replaying JPF Traces Using Standard JVM
K. Wang, S. Khurshid, M. Gligoric
SQAMIA 2017 [2] Evaluating State Modeling Techniques in Alloy
A. Sullivan, K. Wang, S. Khurshid, D. Marinov
ICSME 2016 [1] Repairing Intricate Faults in Code Using Machine Learning and Path Exploration
D. Gopinath, K. Wang, J. Hua, S. Khurshid

Experience

05/2017-08/2017 Software Engineering Intern, Google, New York City, NY
05/2016-08/2016 Software Engineering Intern, Google, Mountain View, CA