KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
Explore this paper's citation graph
- Type
- article
- Published
- 2008-12-08
- Cited by
- 2,681
- References
- 32
- OpenAlex
- https://openalex.org/W1710734607
Keywords
Computer science, Suite, Correctness, Test suite, Programming language
References
- Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation
- Automated Whitebox Fuzz Testing
- A New Method to Index and Query Sets
- EXPLODE: a lightweight, general system for finding serious storage system errors
- Hardware verification using ANSI-C programs as a reference
- CUTE: a concolic unit testing engine for C
- Finding bugs in dynamic web applications
- Model checking for programming languages using VeriSoft
- Making information flow explicit in HiStar
- DART: directed automated random testing
- From code to models
- Towards automatic generation of vulnerability-based signatures
- Hybrid Concolic Testing
- Dynamic test input generation for database applications
- The Model Checker SPIN
- Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services
- EXE: automatically generating inputs of death
- Compositional dynamic test generation
- Bandera: extracting finite-state models from Java source code
- Bouncer: securing software by blocking bad input
Cited by
- Systematic and Scalable Testing of Concurrent Programs
- Efficient Directionless Weakest Preconditions (CMU-CyLab-10-002)
- SymDroid: Symbolic Execution for Dalvik Bytecode
- DECAF: Detecting and Characterizing Ad Fraud in Mobile Apps
- Bound Analysis using Backward Symbolic Execution
- BUZZ: Testing Context-Dependent Policies in Stateful Data Planes (CMU-CyLab-14-013)
- MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery
- Enabling and supporting the debugging of software failures
- Finding Bugs in Wireless Sensor Networks with Symbolic Execution
- Finding and Tolerating Concurrency Bugs
- Hardware Mechanisms for Distributed Dynamic Software Analysis
- Analyse Dynamique de Logiciels Malveillants. (Dynamic Analysis of Malicious Software)
- IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution
- Automating Configuration Troubleshooting with Dynamic Information Flow Analysis
- A compiler level intermediate representation based binary analysis system and its applications
- Efficiently Sampling Probabilistic Programs via Program Analysis
- Checking for Insidious Faults in Deployed Federated and Heterogeneous Distributed Systems
- SMT Solvers in Software Security
- The Open Source Hardening Project
- A Smart Fuzzing Approach for Integer Overflow Detection
Related papers
- Driller: Augmenting Fuzzing Through Selective Symbolic Execution
- Heuristics for Scalable Dynamic Test Generation
- Valgrind: a framework for heavyweight dynamic binary instrumentation
- S2E: a platform for in-vivo multi-path analysis of software systems
- Pin: building customized program analysis tools with dynamic instrumentation
- Compositional dynamic test generation
- EXE: automatically generating inputs of death