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

Willem Visser,Jaco Geldenhuys

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

2020

Willem Visser
Jaco Geldenhuys

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.

Keywords:

Concolic testing
Programming language
Java
Fuzz testing
Computer science
Concurrency
Theoretical computer science
Program analysis
concolic execution

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations