COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
Abstract
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.