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 | 3 | 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 |
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 |
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 | | 2023 |