COASTAL: Combining concolic and fuzzing for Java (competition contribution)

Willem Visser, Jaco Geldenhuys
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Read: 11 August 2020

Tools and Algorithms for the Construction and Analysis of Systems
Springer International Publishing
Cham
Pages 373-377
2020
Note(s): fuzz testing, symbolic execution, SV competition, test generation

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.