PV3 COASTALchecks properties of annotated Java code with concolic execution and fuzz testing

COASTAL is a program analysis tool for Java programs. It combines concolic execution and fuzz testing in a framework with built-in concurrency

Application domain/field

Expected input


Java bytecode?

Expected output

true, false or unknown


This tool combines concolic execution and fuzzing analysis. Uses Z3.


Related papers

COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)

Last publication date

17 April 2020

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.