Browsing by Author "Noller, Yannic"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Symbolic pathfinder for SV-COMP (Competition Contribution)
    (Springer, 2019) Noller, Yannic; Pasareanu, Corina S.; Fromherz, Aymeric; Le, Xuan-Bach D.; Visser, Willem
    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.