Analysing the program analyser-Reference-Cited by-同舟云学术

Analysing the program analyser

Published:2016-05-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th International Conference on Software Engineering Companion
language:
Short-container-title:

Author:

Cadar Cristian¹,Donaldson Alastair F.¹

Affiliation:

1. Imperial College London, UK

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2889160.2889206

Reference18 articles.

1. The Design and Implementation of a Verification Technique for GPU Kernels

2. Fuzzing and delta-debugging SMT solvers

3. C. Cadar. Targeted program transformations for symbolic execution. In ESEC/FSE NI'15. 10.1145/2786805.2803205 C. Cadar. Targeted program transformations for symbolic execution. In ESEC/FSE NI'15 . 10.1145/2786805.2803205

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles;Proceedings of the ACM on Software Engineering;2024-07-12

3. Understanding and Detecting Annotation-Induced Faults of Static Analyzers;Proceedings of the ACM on Software Engineering;2024-07-12

4. Testing concolic execution through consistency checks;Journal of Systems and Software;2024-05

5. GrayC: Greybox Fuzzing of Compilers and Analysers for C;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12