Follow
Kaiyuan Wang
Kaiyuan Wang
Staff Software Engineer, Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Symbolic discovery of optimization algorithms
X Chen, C Liang, D Huang, E Real, K Wang, H Pham, X Dong, T Luong, ...
Advances in Neural Information Processing Systems 36, 2024
3842024
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
1772018
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
118*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
572017
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
482018
Automated model repair for Alloy
K Wang, A Sullivan, S Khurshid
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
462018
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
372020
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
372018
AUnit: a test automation tool for Alloy
A Sullivan, K Wang, S Khurshid
The 11th IEEE International Conference on Software Testing, Verification and …, 2018
282018
Moët: Interpretable and verifiable reinforcement learning via mixture of expert trees
M Vasic, A Petrovic, K Wang, M Nikolic, R Singh, S Khurshid
arXiv preprint arXiv:1906.06717, 2019
272019
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning
M Vasić, A Petrović, K Wang, M Nikolić, R Singh, S Khurshid
Neural Networks 151, 34-47, 2022
242022
MuAlloy: a mutation testing framework for Alloy
K Wang, A Sullivan, S Khurshid
The 40th International Conference on Software Engineering, ICSE 2018, 2018
242018
Symbolic discovery of optimization algorithms. arxiv 2023
X Chen, C Liang, D Huang, E Real, K Wang, Y Liu, H Pham, X Dong, ...
arXiv preprint arXiv:2302.06675, 2023
212023
Systematic generation of non-equivalent expressions for relational algebra
K Wang, A Sullivan, M Koukoutos, D Marinov, S Khurshid
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
202018
Evaluating State Modeling Techniques in Alloy.
A Sullivan, K Wang, S Khurshid, D Marinov
SQAMIA, 2017
202017
ASketch: A Sketching Framework for Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
Foundations of Software Engineering, 2018
182018
ARepair: a repair framework for alloy
K Wang, A Sullivan, S Khurshid
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
172019
A study of symmetry breaking predicates and model counting
W Wang, M Usman, A Almaawi, K Wang, KS Meel, S Khurshid
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
162020
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
152018
Solver-based sketching of alloy models using test valuations
K Wang, A Sullivan, D Marinov, S Khurshid
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
152018
The system can't perform the operation now. Try again later.
Articles 1–20