Symbolic pathfinder for SV-COMP (Competition Contribution)

Simple item page
dc.contributor.authorNoller, Yannicen_ZA
dc.contributor.authorPasareanu, Corina S.en_ZA
dc.contributor.authorFromherz, Aymericen_ZA
dc.contributor.authorLe, Xuan-Bach D.en_ZA
dc.contributor.authorVisser, Willemen_ZA
dc.date.accessioned2021-12-01T13:24:38Z
dc.date.available2021-12-01T13:24:38Z
dc.date.issued2019
dc.descriptionCITATION: 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.
dc.descriptionThe original publication is available at https://link.springer.com
dc.description.abstractThis 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.en_ZA
dc.description.urihttps://link.springer.com/chapter/10.1007/978-3-030-17502-3_21#citeas
dc.description.versionPublisher's version
dc.format.extent5 pages
dc.identifier.citationNoller, 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
dc.identifier.issn1611-3349 (online)
dc.identifier.issn0302-9743 (print)
dc.identifier.otherdoi:10.1007/978-3-030-17502-3_21
dc.identifier.urihttp://hdl.handle.net/10019.1/123513
dc.language.isoen_ZAen_ZA
dc.publisherSpringer
dc.rights.holderAuthors retain copyright
dc.subjectSymbolic pathfinderen_ZA
dc.subjectSymbolic executionen_ZA
dc.subjectJava Pathfinder (JPF)en_ZA
dc.subjectComputer software -- Verificationen_ZA
dc.subjectJava (Computer program language)en_ZA
dc.subjectVirtual computer systemsen_ZA
dc.subjectVirtual computer systemsen_ZA
dc.subjectComputer software -- Verificationen_ZA
dc.subjectJava Pathfinder (JPF)en_ZA
dc.titleSymbolic pathfinder for SV-COMP (Competition Contribution)en_ZA
dc.typeArticleen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
noller_symbolic_2019.pdf
Size:
543.65 KB
Format:
Adobe Portable Document Format
Description:
Download article
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Research Articles (Computer Science)