Symbolic Pathfinder for SV-COMP - (Competition Contribution).

Yannic Noller,Corina S. Pasareanu,Aymeric Fromherz,Xuan-Bach D. Le,Willem Visser

European Joint Conferences on Theory And Practice of Software（2019）

引用 9|浏览65

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要