This is a nice short, readable description of Coastal which
- maintains two work queues (one for fuzz testing and one for symbolic execution)
- uses “strategies” to generate new queue entries from the results of the fuzzing and symex engines
- uses “observers” to track assertions, coverage, prune paths, display information in a GUI
Coastal was still under development when it was entered in SV competition.