KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.

Cadar, C., Dunbar, D., & Engler, D. (2008). KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. 8th USENIX Symposium on Operating Systems Design and Implementation, 209-224.

Type

Conference paper

Intellectual base

Primary research

Year

2008

Link

https://www.usenix.org/conference/osdi-08/klee-unassisted-and-automatic-generation-high-coverage-tests-complex-systems

Cited by

1 citation across 1 artifact.

Domain-specific

• Symbolic Execution
  • A model of a terminal path condition supplies a concrete input intended to replay that path under the modeled semantics.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:c8f4f82691f2 · see in the full table