COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
Willem I. Visser, Jaco Geldenhuys · Lecture notes in computer science · 2020
Abstract COASTAL is a program analysis tool for Java programs. It combines concolic execution and fuzz testing in a framework with built-in concurrency, allowing the two approaches to cooperate naturally.