オープン アクセスを義務付けられた論文 - Kaiyuan Wang詳細
一般公開: 25 件
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
委任: US National Science Foundation
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
委任: US National Science Foundation
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
委任: US National Science Foundation
Automated model repair for Alloy
K Wang, A Sullivan, S Khurshid
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
委任: US National Science Foundation
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
委任: US National Science Foundation
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
委任: US National Science Foundation
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
委任: US National Science Foundation
AUnit: a test automation tool for Alloy
A Sullivan, K Wang, S Khurshid
The 11th IEEE International Conference on Software Testing, Verification and …, 2018
委任: US National Science Foundation
MuAlloy: a mutation testing framework for Alloy
K Wang, A Sullivan, S Khurshid
The 40th International Conference on Software Engineering, ICSE 2018, 2018
委任: US National Science Foundation
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
委任: US National Science Foundation
Evaluating State Modeling Techniques in Alloy.
A Sullivan, K Wang, S Khurshid, D Marinov
SQAMIA, 2017
委任: US National Science Foundation
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
委任: US National Science Foundation, European Commission
ASketch: A Sketching Framework for Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
Foundations of Software Engineering, 2018
委任: US National Science Foundation
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
委任: US National Science Foundation, National Research Foundation, Singapore
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
委任: US National Science Foundation
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
委任: US National Science Foundation
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
委任: US National Science Foundation
Incremental analysis of evolving alloy models
W Wang, K Wang, M Gligoric, S Khurshid
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
委任: US National Science Foundation
A study of learning data structure invariants using off-the-shelf tools
M Usman, W Wang, K Wang, C Yelen, N Dini, S Khurshid
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019
委任: US National Science Foundation
A study of the learnability of relational properties: model counting meets machine learning (mcml)
M Usman, W Wang, M Vasic, K Wang, H Vikalo, S Khurshid
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
委任: US National Science Foundation
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます