Kaiyuan Wang
Kaiyuan Wang
Student of Electrical and Computer Engineering, University of Texas at Austin
Verified email at utexas.edu - Homepage
TitleCited byYear
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
512018
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
26*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
242017
Evaluating State Modeling Techniques in Alloy.
A Sullivan, K Wang, S Khurshid, D Marinov
SQAMIA, 2017
122017
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
112018
MuAlloy: a mutation testing framework for Alloy
K Wang, A Sullivan, S Khurshid
The 40th International Conference on Software Engineering, ICSE 2018, 2018
102018
MuAlloy: an automated mutation system for alloy
K Wang
102015
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
92018
AUnit: a test automation tool for Alloy
A Sullivan, K Wang, S Khurshid
The 11th IEEE International Conference on Software Testing, Verification and …, 2018
92018
Automated model repair for alloy
K Wang, A Sullivan, S Khurshid
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
82018
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
82018
Fault localization for declarative models in Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
arXiv preprint arXiv:1807.08707, 2018
62018
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
62018
ASketch: A Sketching Framework for Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
Foundations of Software Engineering, 2018
62018
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
42018
ARepair: a repair framework for alloy
K Wang, A Sullivan, S Khurshid
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
32019
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
22019
Test execution driven synthesis of API sequences with conditionals and loops
Z Yang, J Hua, K Wang, S Khurshid
The 11th IEEE International Conference on Software Testing, Verification and …, 2018
22018
Repairing intricate faults in code using machine learning and path exploration
D Gopinath, K Wang, J Hua, S Khurshid
2016 IEEE International Conference on Software Maintenance and Evolution …, 2016
22016
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
12019
The system can't perform the operation now. Try again later.
Articles 1–20