DART is a symbolic execution tool developed at Bell Labs and a forerunner to the [SAGE verifier].
DART is based on concolic execution.
Notes related to DART verifier
Concolic execution, Fuzz testing, Symbolic execution
Papers related to DART verifier
- Symbolic execution for software testing: Three decades later [cadar:cacm:2013]
- DART: Directed automated random testing [godefroid:pldi:2005]
- Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]