SolAnalyser: A Framework for Analysing and Testing Smart Contracts S Akca, A Rajan, C Peng 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 482-489, 2019 | 63 | 2019 |
SIF: A Framework for Solidity Contract Instrumentation and Analysis C Peng, S Akca, A Rajan 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 466-473, 2019 | 36* | 2019 |
Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning Z Lv, C Peng, Z Zhang, T Su, K Liu, P Yang Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 28 | 2022 |
CAT: Change-focused Android GUI Testing C Peng, A Rajan, T Cai 2021 IEEE International Conference on Software Maintenance and Evolution …, 2021 | 12 | 2021 |
Automated test generation for OpenCL kernels using fuzzing and constraint solving C Peng, A Rajan Proceedings of the 13th Annual Workshop on General Purpose Processing using …, 2020 | 11 | 2020 |
MUBot: Learning to Test Large-Scale Commercial Android Apps like a Human C Peng, Z Zhang, Z Lv, P Yang 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 10 | 2022 |
CLTestCheck: Measuring Test Effectiveness for GPU Kernels C Peng, A Rajan International Conference on Fundamental Approaches to Software Engineering …, 2019 | 7 | 2019 |
Characterizing and Finding System Setting-Related Defects in Android Apps J Sun, T Su, K Liu, C Peng, Z Zhang, G Pu, T Xie, Z Su IEEE Transactions on Software Engineering, 2023 | 5 | 2023 |
Testing Smart Contracts: Which Technique Performs Best? S Akca, C Peng, A Rajan Proceedings of the 15th ACM/IEEE International Symposium on Empirical …, 2021 | 5 | 2021 |
On the correctness of GPU programs C Peng Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 2 | 2019 |
Automated Server Testing: an Industrial Experience Report C Peng, Y Gao, P Yang 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 1 | 2022 |
Design and Implementation of a Copyright Protection System Based on Digital Watermarking with Visual Cryptography C Peng, T Sun, D Kong, J Zhu Computer Science and Application 5 (8), 285-296, 2015 | 1 | 2015 |
DevBench: A Comprehensive Benchmark for Software Development B Li, W Wu, Z Tang, L Shi, J Yang, J Li, S Yao, C Qian, B Hui, Q Zhang, ... arXiv preprint arXiv:2403.08604, 2024 | | 2024 |
AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision X Liang, J Qi, Y Gao, C Peng, P Yang Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | | 2023 |
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning C Peng, Z Lv, J Fu, J Liang, Z Zhang, A Rajan, P Yang arXiv preprint arXiv:2309.01519, 2023 | | 2023 |
NxtUnit: Automated Unit Test Generation for Go S Wang, X Mao, Z Cao, Y Gao, Q Shen, C Peng Proceedings of the 27th International Conference on Evaluation and …, 2023 | | 2023 |
Automated testing for GPU kernels C Peng The University of Edinburgh, 2021 | | 2021 |
FEniCS Performance Investigation and Porting miniDFT to GPU Clusters C Peng | | 2017 |