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 | 4 | 2022 |
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 | 1 | 2023 |
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 | 1 | 2023 |
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 |