DART verifier

[Google Scholar]

Notes: symbolic execution, concolic execution
Papers: godefroid:pldi:2005

DART is a symbolic execution tool developed at Bell Labs and a forerunner to the [SAGE verifier].

DART is based on concolic execution.


Concolic execution, Fuzz testing, Symbolic execution