Symbolic pathfinder for SV-COMP (Competition Contribution)

Files
noller_symbolic_2019.pdf(543.65 KB)
Date
2019
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
This paper describes the benchmark entry for Symbolic Pathfinder, a symbolic execution tool for Java bytecode. We give a brief description of the tool and we describe the particular run configuration that was used in the SV-COMP competition. Furthermore, we comment on the competition results and we outline some directions for future work.
Description
CITATION: Noller, Y., et al. 2019. Symbolic pathfinder for SV-COMP (Competition Contribution). Lecture Notes in Computer Science, 11429:239-243, doi:10.1007/978-3-030-17502-3_21.
The original publication is available at https://link.springer.com
Keywords
Symbolic pathfinder, Symbolic execution, Java Pathfinder (JPF), Computer software -- Verification, Java (Computer program language), Virtual computer systems, Virtual computer systems, Computer software -- Verification, Java Pathfinder (JPF)
Citation
Noller, Y., et al. 2019. Symbolic pathfinder for SV-COMP (Competition Contribution). Lecture Notes in Computer Science, 11429:239-243, doi:10.1007/978-3-030-17502-3_21
URI
http://hdl.handle.net/10019.1/123513
Collections
Research Articles (Computer Science)