Следене
Xinyu Lian
Заглавие
Позовавания
Позовавания
Година
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