Follow
Xinyu Lian
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–3