Affiliation:
1. The Chinese University of Hong Kong
Publisher
Association for Computing Machinery (ACM)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mutation testing optimisations using the Clang front‐end;Software Testing, Verification and Reliability;2023-10-17
2. Extracting Inline Tests from Unit Tests;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. VerificationTalk: A Verification and Security Mechanism for IoT Applications;Sensors;2021-11-09
4. Multiobjective Test Case Prioritization Using Test Case Effectiveness: Multicriteria Scoring Method;Scientific Programming;2021-06-24
5. On the correctness of GPU programs;Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis;2019-07-10