Targeted program transformations for symbolic execution-Reference-Cited by-同舟云学术

Targeted program transformations for symbolic execution

Published:2015-08-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
language:
Short-container-title:

Author:

Cadar Cristian¹

Affiliation:

1. Imperial College London, UK

Funder

EPSRC

Publisher

ACM

Link

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

Reference9 articles.

1. C. Cadar D. Dunbar and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI’08. C. Cadar D. Dunbar and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI’08.

2. C. Cadar V. Ganesh P. Pawlowski D. Dill and D. Engler. EXE: Automatically generating inputs of death. In CCS’06. 10.1145/1180405.1180445 C. Cadar V. Ganesh P. Pawlowski D. Dill and D. Engler. EXE: Automatically generating inputs of death. In CCS’06. 10.1145/1180405.1180445

3. Symbolic execution for software testing

4. P. Collingbourne C. Cadar and P. H. Kelly. Symbolic crosschecking of floating-point and SIMD code. In EuroSys’11. 10.1145/1966445.1966475 P. Collingbourne C. Cadar and P. H. Kelly. Symbolic crosschecking of floating-point and SIMD code. In EuroSys’11. 10.1145/1966445.1966475

5. Satisfiability modulo theories

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

1. Verifying Data Constraint Equivalence in FinTech Systems;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

2. Compiling Parallel Symbolic Execution with Continuations;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

3. sem2vec : Semantics-Aware Assembly Tracelet Embedding;ACM Transactions on Software Engineering and Methodology;2022-10-28

4. Combining static analysis error traces with dynamic symbolic execution (experience paper);Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18

5. Unleashing the power of compiler intermediate representation to enhance neural program embeddings;Proceedings of the 44th International Conference on Software Engineering;2022-05-21