Symbolic Execution for Software Testing

Cadar, C., & Sen, K. (2013). Symbolic Execution for Software Testing: Three Decades Later. Communications of the ACM.

Type

Book chapter

Intellectual base

Review or monograph

Year

2013

DOI

10.1145/2408776.2408795`

Link

https://people.eecs.berkeley.edu/~ksen/papers/cacm13.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Symbolic Execution
  • the observation objective: a target location, assertion, safety condition, equivalence check, coverage measure, or terminal state for which path conditions and witnesses are reported.

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:3e4c5ee2c64a · see in the full table