Cargando…
Java Ranger at SV-COMP 2020 (Competition Contribution)
Path-merging is a known technique for accelerating symbolic execution. One technique, named “veritesting” by Avgerinos et al. uses summaries of bounded control-flow regions and has been shown to accelerate symbolic execution of binary code. But, when applied to symbolic execution of Java code, verit...
Autores principales: | Sharma, Vaibhav, Hussein, Soha, Whalen, Michael W., McCamant, Stephen, Visser, Willem |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480705/ http://dx.doi.org/10.1007/978-3-030-45237-7_27 |
Ejemplares similares
-
Advances in Automatic Software Verification: SV-COMP 2020
por: Beyer, Dirk
Publicado: (2020) -
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
por: Visser, Willem, et al.
Publicado: (2020) -
The Best Models
of Bodipy’s Electronic Excited
State: Comparing Predictions from Various DFT Functionals with Measurements
from Femtosecond Stimulated Raman Spectroscopy
por: Sandoval, Juan S., et al.
Publicado: (2023) -
Diffuse Reflectance-Based
Femtosecond Stimulated Raman
Spectroscopy of Opaque Suspensions
por: Diaz, Steven A., et al.
Publicado: (2023) -
Second Competition on Software Testing: Test-Comp 2020
por: Beyer, Dirk
Publicado: (2020)