| 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 | 8 | 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 | 4 | 2023 |
| Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems C Luo, S Lyu, Q Zhao, W Wu, H Zhang, C Hu Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | 2 | 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 | 2 | 2024 |
| Solving the t-Wise Coverage Maximum Problem via Effective and Efficient Local Search-Based Sampling C Luo, J Song, Q Zhao, B Sun, J Chen, H Zhang, J Lin, C Hu ACM Transactions on Software Engineering and Methodology 34 (1), 1-64, 2024 | 1 | 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 | 1 | 2023 |
| Compositional Verification of Composite Byzantine Protocols Q Zhao, G Pîrlea, K Grzeszkiewicz, S Gilbert, I Sergey Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | | 2024 |
| 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 |
| 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 |
Chuan LuoBeihang University, ChinaZweryfikowany adres z buaa.edu.cn