Cargando…
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
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.
Autores principales: | Visser, Willem, Geldenhuys, Jaco |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480685/ http://dx.doi.org/10.1007/978-3-030-45237-7_23 |
Ejemplares similares
-
Legion: Best-First Concolic Testing (Competition Contribution)
por: Liu, Dongge, et al.
Publicado: (2020) -
Improving Symbolic Automata Learning with Concolic Execution
por: Clun, Donato, et al.
Publicado: (2020) -
LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
por: Le, Hoang M.
Publicado: (2020) -
Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)
por: Rocha, Herbert, et al.
Publicado: (2020) -
Sound and Complete Concolic Testing for Higher-order Functions
por: You, Shu-Hung, et al.
Publicado: (2021)