Follow
Qiyuan Zhao
Title
Cited by
Cited by
Year
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems
C Luo, Q Zhao, S Cai, H Zhang, C Hu
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
42022
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
Q Zhao, C Luo, S Cai, W Wu, J Lin, H Zhang, C Hu
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
12023
Generating Pairwise Covering Arrays for Highly Configurable Software Systems
C Luo, J Song, Q Zhao, Y Li, S Cai, C Hu
Proceedings of the 27th ACM International Systems and Software Product Line …, 2023
12023
Mechanised Hypersafety Proofs about Structured Data
V Gladshtein, Q Zhao, W Ahrens, S Amarasinghe, I Sergey
Proceedings of the ACM on Programming Languages 8 (PLDI), 647-670, 2024
2024
Mechanised Hypersafety Proofs about Structured Data: Extended Version
V Gladshtein, Q Zhao, W Ahrens, S Amarasinghe, I Sergey
arXiv preprint arXiv:2404.06477, 2024
2024
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
Q Zhao, G Pīrlea, Z Ang, U Mathur, I Sergey
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–6