KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs-Reference-Cited by-同舟云学术

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs

Published:2011 Issue: Volume: Page:609-615
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Li Guodong,Ghosh Indradeep,Rajan Sreeranga P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22110-1_49

Reference8 articles.

1. Lecture Notes in Computer Science;S. Anand,2007

2. Lecture Notes in Computer Science;N. Bjørner,2009

3. Blanc, N., Groce, A., Kroening, D.: Verifying C++ with STL containers via predicate abstraction. In: Automated Software Engineering, ASE (2007)

4. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI (2008)

5. Li, G., Ghosh, I., Rajan, S. P., and Gopalakrishnan, G. GKLEE: A symbolic execution and automatic test generation tool for GPU programs, Draft (2011)

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

1. HLS-IRT: Hardware Trojan Insertion through Modification of Intermediate Representation During High-Level Synthesis;ACM Transactions on Design Automation of Electronic Systems;2024-09-04

2. Checking robustness to weak persistency models;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

3. Guided Feature Identification and Removal for Resource-constrained Firmware;ACM Transactions on Software Engineering and Methodology;2022-04-30

4. CITRUS: Automated Unit Testing Tool for Real-world C++ Programs;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04

5. An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution;Applied Sciences;2021-06-10