Подписаться
Xinyu Lian
Xinyu Lian
University of Illinois at Urbana-Champaign
Подтвержден адрес электронной почты в домене illinois.edu - Главная страница
Название
Процитировано
Процитировано
Год
Test Selection for Unified Regression Testing
S Wang, X Lian, D Marinov, T Xu
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
42023
Configuration Validation with Large Language Models
X Lian, Y Chen, R Cheng, J Huang, P Thakkar, T Xu
arXiv preprint arXiv:2310.09690, 2023
32023
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
F Jiang, N Xiong, X Lian, S González, KD Schewe
International Conference on Rigorous State-Based Methods, 118-123, 2021
2021
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–3