Replication Package For Article "Cpa-Symexec: Efficient Symbolic Execution In Cpachecker"

Software en OPEN SOURCE
Beyer, Dirk; Lemberger, Thomas;
(2018)

<p>Replication Package for Article &quot;CPA-SymExec: Efficient Symbolic Execution in CPAchecker&quot; by Dirk Beyer and Thomas Lemberger</p> <p>It contains all tools and data that are necessary to reproduce the results in our article.<br> The included README.md ... View more
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2018)
  • Cite this software