Paper Open Original ↗
DeepState - Symbolic Unit Testing for C and C++
Type
Academic paper
Client
—
Date
2018
Domain
—
Effort
—
Section
—
Related
- 2024 A Broad Comparative Evaluation of Software Debloating Tools Paper
- 2024 PolyTracker: Whole-Input Dynamic Information Flow Tracing Paper
- 2024 Endokernel: A Thread Safe Monitor for Lightweight Subprocess Isolation Paper
- 2024 Design and Implementation of a Coverage-Guided Ruby Fuzzer Paper
- 2024 Test Harness Mutilation Paper
- 2024 VAST: MLIR compiler for C/C++ Paper