Follow
Kaiyuan Wang
Kaiyuan Wang
Software Engineer, Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Towards practical program repair with on-demand candidate generation
J Hua, M Zhang, K Wang, S Khurshid
The 40th International Conference on Software Engineering, ICSE 2018, 2018
1042018
Symbolic execution for importance analysis and adversarial generation in neural networks
D Gopinath, M Zhang, K Wang, IB Kadron, C Pasareanu, S Khurshid
2019 IEEE 30th International Symposium on Software Reliability Engineering†…, 2019
66*2019
Automated Test Generation and Mutation Testing for Alloy
A Sullivan, K Wang, RN Zaeem, S Khurshid
The 10th IEEE International Conference on Software Testing, Verification and†…, 2017
372017
Sketch-Fix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
J Hua, M Zhang, K Wang, S Khurshid
Foundations of Software Engineering, 2018
232018
Automated model repair for alloy
K Wang, A Sullivan, S Khurshid
2018 33rd IEEE/ACM International Conference on Automated Software†…, 2018
202018
Towards Refactoring-Aware Regression Test Selection
K Wang, C Zhu, A Celik, J Kim, D Batory, M Gligoric
The 40th International Conference on Software Engineering, ICSE 2018, 2018
192018
Evaluating State Modeling Techniques in Alloy.
A Sullivan, K Wang, S Khurshid, D Marinov
SQAMIA, 2017
182017
AUnit: a test automation tool for Alloy
A Sullivan, K Wang, S Khurshid
The 11th IEEE International Conference on Software Testing, Verification and†…, 2018
172018
Fault localization for declarative models in alloy
K Wang, A Sullivan, D Marinov, S Khurshid
2020 IEEE 31st International Symposium on Software Reliability Engineering†…, 2020
152020
MuAlloy: a mutation testing framework for Alloy
K Wang, A Sullivan, S Khurshid
The 40th International Conference on Software Engineering, ICSE 2018, 2018
152018
MoŽt: Interpretable and verifiable reinforcement learning via mixture of expert trees
M Vasic, A Petrovic, K Wang, M Nikolic, R Singh, S Khurshid
132019
Solver-based sketching of alloy models using test valuations
K Wang, A Sullivan, D Marinov, S Khurshid
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and†…, 2018
112018
Systematic generation of non-equivalent expressions for relational algebra
K Wang, A Sullivan, M Koukoutos, D Marinov, S Khurshid
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and†…, 2018
112018
MuAlloy: an automated mutation system for alloy
K Wang
112015
EdSynth: Synthesizing API sequences with conditionals and loops
Z Yang, J Hua, K Wang, S Khurshid
2018 IEEE 11th International Conference on Software Testing, Verification†…, 2018
102018
ASketch: A Sketching Framework for Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
Foundations of Software Engineering, 2018
82018
Arepair: a repair framework for alloy
K Wang, A Sullivan, S Khurshid
2019 IEEE/ACM 41st International Conference on Software Engineering†…, 2019
72019
A study of learning data structure invariants using off-the-shelf tools
M Usman, W Wang, K Wang, C Yelen, N Dini, S Khurshid
International Symposium on Model Checking Software, 226-243, 2019
62019
Learning to optimize the alloy analyzer
W Wang, K Wang, M Zhang, S Khurshid
2019 12th IEEE Conference on Software Testing, Validation and Verification†…, 2019
52019
Incremental analysis of evolving Alloy models
W Wang, K Wang, M Gligoric, S Khurshid
International Conference on Tools and Algorithms for the Construction and†…, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20